Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Save for later
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008
Tools, Language and Cognition
by Kathleen R. Gibson
ISBN 13: 9780521485418
Format: Paperback (496 pages) Publisher: Cambridge University Press Published: 27 Jan 1995
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
Nature Inspired Cooperative Strategies for Optimization (NICSO 2008): 236 (Studies in Computational Intelligence)
by Natalio Krasnogor, Belén Melián-Batista, José A. Moreno-Pérez, J. Marcos Moreno-Vega, David Alejandro Pelta
ISBN 13: 9783642032103
Format: Hardcover (300 pages) Publisher: Springer Published: 14 Sep 2009 Other Format: Hardcover
Aspects of Soft Computing, Intelligent Robotics and Control: 241 (Studies in Computational Intelligence)
by János Fodor
ISBN 13: 9783642036323
Format: Hardcover (288 pages) Publisher: Springer Published: 20 Aug 2009
Scatter Search: Methodology and Implementations in C: 24 (Operations Research/Computer Science Interfaces Series)
by Manuel Laguna,Rafael Martí
ISBN 13: 9781402073762
Format: Illustrated (312 pages) Publisher: Springer Published: 28 Feb 2003
Silicon Second Nature: Culturing Artificial Life in a Digital World, Updated With a New Preface
by Stefan Helmreich
ISBN 13: 9780520208001
Format: Paperback (334 pages) Publisher: University of California Press Published: 25 Aug 2000
Measurements, Modelling and Simulation of Dynamic Systems
by Edward Layer, Krzysztof Tomczyk
ISBN 13: 9783642045875
Format: Hardcover (156 pages) Publisher: Springer Published: 04 Feb 2010
New Directions in Intelligent Interactive Multimedia: 142 (Studies in Computational Intelligence)
by George A Tsihrintzis,Maria Virvou
ISBN 13: 9783540681267
Format: Hardcover (656 pages) Publisher: Springer Published: 18 Jun 2008
Self-Organizing Systems: 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings (Lecture Notes in ... Networks and Telecommunications)
by Thrasyvoulos Spyropoulos, Karin Anna Hummel
ISBN 13: 9783642108648
Format: Paperback (269 pages) Publisher: Springer Published: 30 Nov 2009
Practical Computing on the Cell Broadband Engine
by Sandeep Koranne
ISBN 13: 9781441903075
Format: Hardcover (520 pages) Publisher: Springer Published: 16 Jul 2009