Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science/Lecture Notes in Bioinformatics): 5054
by Jasmin Fisher
ISBN 13: 9783540684107
Format: Paperback (156 pages) Publisher: Springer Published: 26 Jun 2008
Save for later
Design and Control of Intelligent Robotic Systems: 177 (Studies in Computational Intelligence)
by Dikai Liu,Lingfeng Wang,Kay Chen Tan
ISBN 13: 9783540899327
Format: Hardcover (504 pages) Publisher: Springer Published: 05 Mar 2009
Artificial Intelligence: A New Synthesis
by N/A
ISBN 13: 9781558605350
Format: Paperback (500 pages) Publisher: Morgan Kaufmann Published: 17 Apr 1998
Art of Computer Programming, The: Fundamental Algorithms, Volume 1 (Kluwer International Series in)
by Donald Knuth
ISBN 13: 9780201896831
Format: Illustrated (672 pages) Publisher: Addison-Wesley Professional Published: 14 Aug 1997
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)
by Sartaj Sahni, Vladimir A. Dobrushkin
ISBN 13: 9781420068290
Format: Hardcover (824 pages) Publisher: Chapman & Hall Published: 03 Nov 2009
Essays and Surveys in Metaheuristics: 15 (Operations Research/Computer Science Interfaces Series)
by Celso Ribeiro, Pierre Hansen, P. Hansen
ISBN 13: 9780792375203
Format: Illustrated (668 pages) Publisher: Springer Published: 31 Oct 2001
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Nonlinear Kalman Filtering for Force-Controlled Robot Tasks (Springer Tracts in Advanced Robotics): 19
by Tine Lefebvre,Herman Bruyninckx,Joris de Schutter
ISBN 13: 9783540280231
Format: Hardcover (286 pages) Publisher: Springer Published: 20 Sep 2005
Pattern Recognition and Machine Learning (Information Science and Statistics) (Information Science and Statistics)
by Christopher M. Bishop
ISBN 13: 9780387310732
Format: Illustrated (738 pages) Publisher: Springer-Verlag New York Inc. Published: 01 Feb 2007
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004