Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Save for later
Artificial Life Models in Software
by Maciej Komosinski,Andrew Adamatzky
ISBN 13: 9781848822849
Format: Hardcover (464 pages) Publisher: Springer Published: 14 Jul 2009
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
The Robot: The Life Story of a Technology (Greenwood Technographies)
by Lisa Nocks
ISBN 13: 9780313331688
Format: Illustrated (224 pages) Publisher: Greenwood Press Published: 28 Feb 2007
Natural Computing in Computational Finance: 100 (Studies in Computational Intelligence)
by Anthony Brabazon,Michael O'Neill
ISBN 13: 9783540774761
Format: Hardcover (316 pages) Publisher: Springer Published: 09 May 2008
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
by Tarek Sobh,Khaled Elleithy,Ausif Mahmood
ISBN 13: 9781402087363
Format: Hardcover (604 pages) Publisher: Springer Published: 01 Aug 2008
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Pairing-Based Cryptography Pairing 2008: Second International Conference, Egham, UK, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science/Security and Cryptology)
by Steven D. Galbraith
ISBN 13: 9783540855033
Format: Paperback (392 pages) Publisher: Springer Published: 25 Aug 2008
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