Buy Used and New Algorithms Books

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

New Frontiers in Artificial Intelligence: JSAI 2006 Conference andWorkshops: 4384 (Lecture Notes in Computer Science)

by Takashi Washio,Hideaki Takeda,Ken Satoh,Akihiro Inokuchi

ISBN 13: 9783540699019

Format: Paperback (416 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

Neural Networks for Pattern Recognition (Advanced Texts in Econometrics (Paperback))

by C.M. Bishop

ISBN 13: 9780198538646

Format: Illustrated (502 pages)
Publisher: Oxford University Press, USA
Published: 18 Jan 1996

Save for later

Mechanics of Terrestrial Locomotion: With a Focus on Non-pedal Motion Systems

by Klaus Zimmermann,Igor Zeidis,Carsten Behn

ISBN 13: 9783540888406

Format: Hardcover (312 pages)
Publisher: Springer
Published: 28 May 2009

Save for later

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

by Leonid Libkin

ISBN 13: 9783540212027

Format: Hardcover (318 pages)
Publisher: Springer
Published: 02 Jul 2004

Save for later

Computational Geometry: Algorithms and Applications

by Mark de Berg,Otfried Cheong,Marc van Kreveld,Mark Overmars

ISBN 13: 9783540779735

Format: Hardcover (386 pages)
Publisher: Springer
Published: 07 Mar 2008

Save for later

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

by Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen

ISBN 13: 9781420072136

Format: Hardcover (344 pages)
Publisher: Chapman and Hall/CRC
Published: 07 Oct 2009

Save for later

Model Driven Engineering and Ontology Development

by Dragan Gaevic,Dragan Djuric,Vladan Devedic

ISBN 13: 9783642002816

Format: Hardcover (378 pages)
Publisher: Springer
Published: 18 May 2009

Save for later

Algorithms and Programming: Problems and Solutions (Springer Undergraduate Texts in Mathematics and Technology)

by Alexander Shen

ISBN 13: 9781441917478

Format: Hardcover (272 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics)

by Felipe Cucker,Ding Xuan Zhou

ISBN 13: 9780521865593

Format: Hardcover (236 pages)
Publisher: Cambridge University Press
Published: 29 Mar 2007

Save for later

Exploratory Data Mining and Data Cleaning (Wiley Series in Probability and Statistics)

by Tamraparni Dasu,Theodore Johnson

ISBN 13: 9780471268512

Format: Hardcover (224 pages)
Publisher: Wiley-Blackwell
Published: 10 Jun 2003

Save for later

Understanding Agent Systems (Springer Series on Agent Technology)

by Mark d'Inverno,Michael Luck

ISBN 13: 9783540407003

Format: Hardcover (240 pages)
Publisher: Springer
Published: 09 Oct 2003

Save for later