Buy Used and New Algorithms Books

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

Stochastic Simulation: Algorithms and Analysis: 57 (Stochastic Modelling and Applied Probability)

by Søren Asmussen,Peter W. Glynn

ISBN 13: 9780387306797

Format: Hardcover (482 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later

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

Perception and Interactive Technologies: International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540347439

Format: Paperback (217 pages)
Publisher: Springer
Published: 12 Jun 2006

Save for later

Intelligent Complex Adaptive Systems

by

ISBN 13: 9781599047171

Format: Hardcover (352 pages)
Publisher: IGI Publishing
Published: 15 Feb 2008

Save for later

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears

ISBN 13: 9781852339470

Format: Hardcover (360 pages)
Publisher: Springer
Published: 26 Oct 2005

Save for later

Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540426059

Format: Paperback (343 pages)
Publisher: Springer
Published: 19 Sep 2001

Save for later

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540430025

Format: Paperback (347 pages)
Publisher: Springer
Published: 28 Nov 2001

Save for later