Buy Used and New Algorithms Books

Pattern Recognition and Machine Learning (Information Science and Statistics) (Information Science and Statistics)

by Christopher M. Bishop

ISBN 13: 9780387310732

Format: Illustrated (738 pages)
Publisher: Springer-Verlag New York Inc.
Published: 01 Feb 2007

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

The Robot: The Life Story of a Technology (Greenwood Technographies)

by Lisa Nocks

ISBN 13: 9780313331688

Format: Illustrated (224 pages)
Publisher: Greenwood Press
Published: 28 Feb 2007

Save for later

Natural Computing in Computational Finance: 100 (Studies in Computational Intelligence)

by Anthony Brabazon,Michael O'Neill

ISBN 13: 9783540774761

Format: Hardcover (316 pages)
Publisher: Springer
Published: 09 May 2008

Save for later

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

by Tarek Sobh,Khaled Elleithy,Ausif Mahmood

ISBN 13: 9781402087363

Format: Hardcover (604 pages)
Publisher: Springer
Published: 01 Aug 2008

Save for later

Principles of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9781848820319

Format: Illustrated (171 pages)
Publisher: Springer
Published: 13 Mar 2009

Save for later

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

ISBN 13: 9783540883869

Format: Paperback (430 pages)
Publisher: Springer
Published: 06 Oct 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

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