Magers & Quinn Booksellers

Cancel

Filters

Selected

Fiction

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Languages

English

Spanish

Italian

French

German

Portuguese

Arabic

Greek, Modern (after 1453)

Latin

Afrikaans

Price

Back

Fiction

Filters

Sort by

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans, Ron

Paperback

$76.99

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne

Groote, Jan F.

Bezem, Marc

Paperback

$76.99

Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings

Wagner, Gerd

Pearce, David

Paperback

$76.99

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Courcoubetis, Costas

Paperback

$76.99

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

Fritzson, Peter A.

Paperback

$76.99

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings

Bouchitte, Vincent

Morvan, Michel

Paperback

$76.99

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Nordström, Bengt

Smith, Jan

Dybjer, Peter

Paperback

$76.99

Term Indexing

Graf, Peter

Paperback

$76.99

Foundations of Inductive Logic Programming

Nienhuys-Cheng, Shan-Hwei

Wolf, Ronald De

Paperback

$118.99

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

Plaza, Jan

Calmet, Jacques

Paperback

$76.99

Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99 Kerkrade, the Netherlands, September 1-3, 1999 Proc

Schürr, Andreas

Münch, Manfred

Nagl, Manfred

Paperback

$109.99

Learning Classifier Systems: From Foundations to Applications

Lanzi, Pier L.

Stolzmann, Wolfgang

Wilson, Stewart W.

Paperback

$76.99

Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers

Llorà, Xavier

Takadama, Keiki

Kovacs, Tim

Paperback

$76.99

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,

Olivetti, Nicola

Paperback

$76.99

Rough Sets and Intelligent Systems Paradigms: International Conference, Rseisp 2007, Warsaw, Poland, June 28-30, 2007, Proceedings

Kryszkiewicz, Marzena

Peters, James F.

Rybinski, Henryk

Paperback

$153.99

Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Bozapalidis, Symeon

Rahonis, George

Paperback

$76.99

Pattern Calculus: Computing with Functions and Structures

Jay, Barry

Hardcover

$279.99

The Threat of Logical Mathematism: A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century

Pulkkinen, Jarmo

Schröder, Hartmut

Paperback

$95.63

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Escobar, Santiago

Paperback

$76.99

Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings

Morita, Kenichi

Hagiya, Masami

Calude, Christian S.

Paperback

$76.99

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Fiction

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne

Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Term Indexing

Foundations of Inductive Logic Programming

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99 Kerkrade, the Netherlands, September 1-3, 1999 Proc

Learning Classifier Systems: From Foundations to Applications

Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,

Rough Sets and Intelligent Systems Paradigms: International Conference, Rseisp 2007, Warsaw, Poland, June 28-30, 2007, Proceedings

Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Pattern Calculus: Computing with Functions and Structures

The Threat of Logical Mathematism: A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Fiction

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne

Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Term Indexing

Foundations of Inductive Logic Programming

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99 Kerkrade, the Netherlands, September 1-3, 1999 Proc

Learning Classifier Systems: From Foundations to Applications

Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,

Rough Sets and Intelligent Systems Paradigms: International Conference, Rseisp 2007, Warsaw, Poland, June 28-30, 2007, Proceedings

Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Pattern Calculus: Computing with Functions and Structures

The Threat of Logical Mathematism: A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.