Buy Used and New Algorithms Books

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

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

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

Handbook of Mathematical Models in Computer Vision

by

ISBN 13: 9780387263717

Format: Hardcover (605 pages)
Publisher: Springer
Published: 16 Dec 2005

Save for later

Automata and Computability

by Dexter C. Kozen

ISBN 13: 9780387949079

Format: Hardcover (400 pages)
Publisher: Springer
Published: 30 Apr 1997

Save for later

Game Theoretic Problems in Network Economics and Mechanism Design Solutions (Advanced Information and Knowledge Processing)

by Y. Narahari,Dinesh Garg,Ramasuri Narayanam,Hastagiri Prakash

ISBN 13: 9781848009370

Format: Hardcover (274 pages)
Publisher: Springer
Published: 12 Feb 2009

Save for later