Buy Used and New Algorithms Books

Digital Human Modeling: Second International Conference, ICDHM 2009, Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642028083

Format: Paperback (767 pages)
Publisher: Springer
Published: 02 Jul 2009

Save for later

Recent Advances in Multimedia Signal Processing and Communications: 231 (Studies in Computational Intelligence)

by

ISBN 13: 9783642028991

Format: Hardcover (662 pages)
Publisher: Springer
Published: 14 Oct 2009

Save for later

RoboCup 2008: Robot Soccer World Cup XII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642029202

Format: Paperback (662 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

by Hanne Riis Nielson,Flemming Nielson

ISBN 13: 9781846286919

Format: Paperback (288 pages)
Publisher: Springer London
Published: 27 Apr 2007

Save for later

The Semantic Web: 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings: 5367 (Lecture Notes in Computer Science)

by John Domingue, Chutiporn Anutariya

ISBN 13: 9783540897033

Format: Paperback (556 pages)
Publisher: Springer
Published: 24 Nov 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

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