Buy Used and New Artificial Intelligence 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

Statistical Methods for Disease Clustering (Statistics for Biology and Health)

by Toshiro Tango

ISBN 13: 9781441915719

Format: Hardcover (240 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

MATLAB® for Engineers Explained

by Fredrik Gustafsson,Niclas Bergman

ISBN 13: 9781852336974

Format: Hardcover (218 pages)
Publisher: Springer
Published: 24 Jan 2003

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 Biometrics

by

ISBN 13: 9780387710402

Format: Hardcover (556 pages)
Publisher: Springer
Published: 16 Nov 2007

Save for later

Tuning, Timbre, Spectrum, Scale

by William A. Sethares

ISBN 13: 9781852337971

Format: Hardcover (430 pages)
Publisher: Springer
Published: 03 Jan 2005

Save for later

Algorithmic Foundations of Robotics VIII: Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics: ... (Springer Tracts in Advanced Robotics)

by

ISBN 13: 9783642003110

Format: Hardcover (680 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later

Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings: 890 (Lecture Notes in Computer Science)

by Michael J. Wooldridge,Nicholas R. Jennings

ISBN 13: 9783540588559

Format: Paperback (424 pages)
Publisher: Springer
Published: 26 Jan 1995

Save for later

Cybernetic Trading Strategies: Developing a Profitable Trading System with State-Of-The-Art Technologies: 68 (Wiley Finance)

by Murray Ruggerio,Murray A. Ruggiero

ISBN 13: 9780471149200

Format: Illustrated (340 pages)
Publisher: John Wiley & Sons
Published: 17 Jun 1997

Save for later

Graph-Based Representations in Pattern Recognition: 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783540252702

Format: Paperback (384 pages)
Publisher: Springer
Published: 23 Mar 2005

Save for later

Perception and Interactive Technologies: International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540347439

Format: Paperback (217 pages)
Publisher: Springer
Published: 12 Jun 2006

Save for later

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears

ISBN 13: 9781852339470

Format: Hardcover (360 pages)
Publisher: Springer
Published: 26 Oct 2005

Save for later