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

Four Short Courses on Harmonic Analysis: Wavelets, Frames, Time-Frequency Methods, and Applications to Signal and Image Analysis (Applied and Numerical Harmonic Analysis)

by

ISBN 13: 9780817648909

Format: Hardcover (249 pages)
Publisher: Birkhauser
Published: 23 Nov 2009

Save for later

Introduction to Video Search Engines

by David C. Gibbon,Zhu Liu

ISBN 13: 9783540793366

Format: Hardcover (276 pages)
Publisher: Springer
Published: 26 Sep 2008

Save for later

Understanding Understanding: Essays on Cybernetics and Cognition

by Heinz von Foerster

ISBN 13: 9780387953922

Format: Hardcover (352 pages)
Publisher: Springer
Published: 18 Nov 2002

Save for later

Microphone Array Signal Processing (Springer Topics in Signal Processing)

by Jacob Benesty,Jingdong Chen,Yiteng Huang

ISBN 13: 9783540786115

Format: Hardcover (240 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Hackers: Heroes of the Computer Revolution - 25th Anniversary Edition

by Steven Levy

ISBN 13: 9781449388393

Format: Paperback (528 pages)
Publisher: O'Reilly Media
Published: 20 May 2010

Save for later

Biometric Systems: Technology, Design and Performance Evaluation

by

ISBN 13: 9781852335960

Format: Hardcover (370 pages)
Publisher: Springer
Published: 03 Feb 2005

Save for later