Buy Used Artificial Intelligence CDs

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

Object Oriented Techniques in Telecommunications: 6 (BT Telecommunications Series)

by E. L. Cusack,E. S. Cordingley,E. L. Cusack

ISBN 13: 9780412614606

Format: Illustrated (324 pages)
Publisher: Springer
Published: 30 Apr 1995

Save for later

Handbook of Knowledge Representation (Foundations of Artificial Intelligence)

by

ISBN 13: 9780444522115

Format: Hardcover (1034 pages)
Publisher: Elsevier Science
Published: 15 Dec 2007

Save for later

Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning (The Springer International Series in Engineering and Computer Science)

by Craig A. Knoblock

ISBN 13: 9780792393108

Format: Hardcover (188 pages)
Publisher: Springer
Published: 31 Jan 1993

Save for later

Sensitivity Analysis for Neural Networks (Natural Computing Series)

by Daniel S. Yeung,Ian Cloete,Daming Shi,Wing W. Y. Ng

ISBN 13: 9783642025310

Format: Hardcover (86 pages)
Publisher: Springer
Published: 18 Nov 2009

Save for later

Differential Evolution: A Practical Approach to Global Optimization (Natural Computing Series)

by Kenneth Price,Rainer M. Storn,Jouni A. Lampinen

ISBN 13: 9783540209508

Format: Hardcover (538 pages)
Publisher: Springer
Published: 13 Dec 2005

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

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

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

The Path to Autonomous Robots: Essays in Honor of George A. Bekey

by Gaurav Sukhatme

ISBN 13: 9780387857732

Format: Illustrated (196 pages)
Publisher: Springer
Published: 10 Dec 2008

Save for later

Advances in Information Retrieval: 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings (Lecture Notes in Computer Science)

by Giovanni Romano, Giambattista Amati, Claudio Carpineto

ISBN 13: 9783540714941

Format: Paperback (759 pages)
Publisher: Springer
Published: 19 Mar 2007

Save for later