Buy Used and New Algorithms Books

Ontology Management: Semantic Web, Semantic Web Services, and Business Applications (Semantic Web and Beyond)

by

ISBN 13: 9780387698991

Format: Hardcover (295 pages)
Publisher: Springer
Published: 20 Dec 2007

Save for later

Error-correcting Codes: A Mathematical Introduction (Chapman & Hall Mathematics)

by D J. Baylis

ISBN 13: 9780412786907

Format: Paperback (232 pages)
Publisher: Chapman and Hall/CRC
Published: 04 Dec 1997

Save for later

Algorithms: Design Techniques and Analysis (Lecture Notes Series on Computing)

by M H Alsuwaiyel

ISBN 13: 9789810237400

Format: Hardcover (430 pages)
Publisher: World Scientific Publishing Co Pte Ltd
Published: 10 Jun 1999

Save for later

Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More (Texts in Computer Science)

by Toshinori Munakata

ISBN 13: 9781846288388

Format: Hardcover (260 pages)
Publisher: Springer
Published: 21 Feb 2008

Save for later

Advanced Concepts for Intelligent Vision Systems: 11th International Conference, ACIVS 2009 Bordeaux, France, September 28--October 2, 2009 ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783642046964

Format: Paperback (743 pages)
Publisher: Springer
Published: 15 Sep 2009

Save for later

Agents and Peer-to-Peer Computing: 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642113673

Format: Paperback (123 pages)
Publisher: Springer
Published: 12 Jan 2010

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

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