Buy Used and New Algorithms Books

Approximation Algorithms

by Vijay V. Vazirani

ISBN 13: 9783540653677

Format: Hardcover (256 pages)
Publisher: Springer
Published: 02 Jul 2001

Save for later

Affective Computing

by RW Picard

ISBN 13: 9780262661157

Format: Paperback (304 pages)
Publisher: MIT Press
Published: 14 Sep 2000

Save for later

Computability Theory (Chapman & Hall/CRC Mathematics)

by S. Barry Cooper

ISBN 13: 9781584882374

Format: Hardcover (424 pages)
Publisher: Chapman and Hall/CRC
Published: 17 Nov 2003

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later

Living with the Chip

by T. Makimoto,D. Manners

ISBN 13: 9780412616907

Format: Paperback (224 pages)
Publisher: Springer
Published: 30 Nov 1994

Save for later

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)

by Jerzy Tiuryn

ISBN 13: 9783540672579

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Apr 2000

Save for later

Bio-Inspired Computing and Communication: First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers: 5151 (Lecture Notes in Computer Science)

by Eiko Yoneki

ISBN 13: 9783540921905

Format: Paperback (444 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

The Mind's Sky: Human Intelligence in a Cosmic Context

by Timothy Ferris

ISBN 13: 9780553371338

Format: Paperback (300 pages)
Publisher: Bantam
Published: Apr 1993

Save for later

Learning Classifier Systems in Data Mining: 125 (Studies in Computational Intelligence)

by John Holmes, Ester Bernadó-Mansilla, Larry Bull

ISBN 13: 9783540789789

Format: Hardcover (230 pages)
Publisher: Springer
Published: 30 May 2008

Save for later

Queueing Theory: A Linear Algebraic Approach

by Lester Lipsky

ISBN 13: 9780387497044

Format: Hardcover (554 pages)
Publisher: Springer
Published: 27 Nov 2008

Save for later

Pairing-Based Cryptography Pairing 2008: Second International Conference, Egham, UK, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science/Security and Cryptology)

by Steven D. Galbraith

ISBN 13: 9783540855033

Format: Paperback (392 pages)
Publisher: Springer
Published: 25 Aug 2008

Save for later