Buy Used and New Artificial Intelligence Books

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

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

Model Driven Engineering and Ontology Development

by Dragan Gaevic,Dragan Djuric,Vladan Devedic

ISBN 13: 9783642002816

Format: Hardcover (378 pages)
Publisher: Springer
Published: 18 May 2009

Save for later

Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing)

by Radim Belohlávek,Vilem Vychodil

ISBN 13: 9783540262541

Format: Hardcover (295 pages)
Publisher: Springer
Published: 26 Aug 2005

Save for later

Progress in Pattern Recognition, Image Analysis and Applications: 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783540298502

Format: Paperback (1114 pages)
Publisher: Springer
Published: 04 Nov 2005

Save for later

Computer Vision - ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II: 7th Asian ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783540312444

Format: Paperback (1008 pages)
Publisher: Springer
Published: 09 Jan 2006

Save for later

The Semantic Web - ISWC 2006: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540490296

Format: Paperback (1025 pages)
Publisher: Springer
Published: 26 Oct 2006

Save for later

Computers and Games: 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540755371

Format: Paperback (283 pages)
Publisher: Springer
Published: 01 Oct 2007

Save for later

Parameter Setting in Evolutionary Algorithms (Studies in Computational Intelligence)

by

ISBN 13: 9783540694311

Format: Hardcover (330 pages)
Publisher: Springer
Published: 16 Mar 2007

Save for later

Advanced Motion Control and Sensing for Intelligent Vehicles

by Li Li,Fei-Yue Wang

ISBN 13: 9780387444079

Format: Hardcover (459 pages)
Publisher: Springer
Published: 04 Jan 2007

Save for later

Operations Research and Cyber-Infrastructure (Operations Research/Computer Science Interfaces Series)

by

ISBN 13: 9780387888422

Format: Hardcover (470 pages)
Publisher: Springer
Published: 27 Feb 2009

Save for later