Buy Used and New Algorithms Books

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

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

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

Guide to Biometrics (Springer Professional Computing)

by Ruud M. Bolle,Jonathan Connell,Sharath Pankanti

ISBN 13: 9780387400891

Format: Illustrated (400 pages)
Publisher: Springer
Published: 02 Dec 2003

Save for later