Buy Used and New Mathematical Logic Books

Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290735

Format: Paperback (349 pages)
Publisher: Springer
Published: 11 Oct 2005

Save for later

Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540742548

Format: Paperback (574 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540691631

Format: Paperback (379 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences)

by

ISBN 13: 9783211317877

Format: Paperback (198 pages)
Publisher: Springer
Published: 09 Mar 2006

Save for later

Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783540784975

Format: Paperback (505 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Scientific Opportunism / L'Opportunisme scientifique: An Anthology (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900)

by Henri Poincaré

ISBN 13: 9783764365394

Format: Hardcover (234 pages)
Publisher: Birkhauser
Published: 01 Jan 2002

Save for later

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues)

by

ISBN 13: 9783540882817

Format: Paperback (500 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642130885

Format: Paperback (622 pages)
Publisher: Springer
Published: 10 May 2010

Save for later

Formal Correctness of Security Protocols (Information Security and Cryptography)

by Giampaolo Bella

ISBN 13: 9783540681342

Format: Hardcover (274 pages)
Publisher: Springer
Published: 05 Mar 2007

Save for later

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

by Denis Caromel,Ludovic Henrio

ISBN 13: 9783540208662

Format: Hardcover (300 pages)
Publisher: Springer
Published: 13 Apr 2005

Save for later

Discrete Mathematics Using a Computer

by John O'Donnell,Cordelia Hall,Rex Page

ISBN 13: 9781846282416

Format: Paperback (441 pages)
Publisher: Springer
Published: 14 Aug 2006

Save for later

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540741275

Format: Paperback (185 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later