Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, ... Computer Science and General Issues)
by
ISBN 13: 9783642121326
Format: Paperback (446 pages) Publisher: Springer Published: 17 Mar 2010 Other Format: Paperback
Save for later
Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642131929
Format: Paperback (514 pages) Publisher: Springer Published: 07 May 2010
Software Verification and Validation: An Engineering and Scientific Approach
by Marcus S. Fisher
ISBN 13: 9780387327259
Format: Hardcover (172 pages) Publisher: Springer Published: 20 Dec 2006
Dynamic Fleet Management: Concepts, Systems, Algorithms & Case Studies: Concepts, Systems, Algorithms and Case Studies (Operations Research Computer Science Interfaces Series)
ISBN 13: 9780387717210
Format: Hardcover (242 pages) Publisher: Springer Published: 08 Oct 2007
Algorithmic Architecture
by Kostas Terzidis
ISBN 13: 9780750667258
Format: Paperback (176 pages) Publisher: Routledge Published: 10 May 2006
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
by B. Jack Copeland,B. Jack Copeland
ISBN 13: 9780198250807
Format: Illustrated (622 pages) Publisher: Oxford University Press, USA Published: 18 Nov 2004
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
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
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
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