Quadrupedal Locomotion: An Introduction to the Control of Four-legged Robots
by Pablo González de Santos,Elena Garcia,Joaquin Estremera
ISBN 13: 9781846283062
Format: Illustrated (282 pages) Publisher: Springer Published: 20 Apr 2006
Save for later
Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
The Emotion Machine: Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind
by Marvin Minsky
ISBN 13: 9780743276641
Format: Illustrated (400 pages) Publisher: Simon & Schuster Published: 01 Nov 2007
Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition
by Merlin Donald
ISBN 13: 9780674644847
Format: Paperback (424 pages) Publisher: Harvard University Press Published: 18 May 1993
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7
by Peter Bürgisser
ISBN 13: 9783540667520
Format: Illustrated (186 pages) Publisher: Springer Published: 21 Jun 2000
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)
by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
ISBN 13: 9783540211792
Format: Paperback (359 pages) Publisher: Springer Published: 18 Mar 2004
The Top Ten Algorithms in Data Mining (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by Xindong Wu, Vipin Kumar
ISBN 13: 9781420089646
Format: Hardcover (232 pages) Publisher: Chapman and Hall/CRC Published: 09 Apr 2009
New Approaches to Circle Packing in a Square: With Program Codes (Springer Optimization and Its Applications): 6
by P. G. Szabo,M. Cs Markot,T. Csendes
ISBN 13: 9780387456737
Format: Illustrated (258 pages) Publisher: Springer Published: 09 Feb 2007
Foundations of Multidimensional and Metric Data Structures (The Morgan Kaufmann Series in Computer Graphics)
by Hanan Samet
ISBN 13: 9780123694461
Format: Illustrated (1024 pages) Publisher: Morgan Kaufmann Published: 12 Sep 2006
Artifical Intelligence for Human Computing: ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 and Hyderabad, India, ... 4451 (Lecture Notes in Computer Science)
by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland
ISBN 13: 9783540723462
Format: Paperback (359 pages) Publisher: Springer Published: 31 May 2007
A Generative Theory of Relevance (Information Retrieval Series): 26 (The Information Retrieval Series)
by Victor Lavrenko
ISBN 13: 9783540893639
Format: Hardcover (197 pages) Publisher: Springer Published: 25 Nov 2008