Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
by
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Save for later
Robot Vision: Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings (Lecture Notes in Computer Science ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540781561
Format: Paperback (468 pages) Publisher: Springer Published: 11 Feb 2008
Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540790020
Format: Paperback (331 pages) Publisher: Springer Published: 08 Apr 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
Information Theoretic Security: Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540850922
Format: Paperback (249 pages) Publisher: Springer Published: 22 Jul 2008
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings: 5194 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540859277
Format: Paperback (349 pages) Publisher: Springer Published: 05 Sep 2008
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540851097
Format: Paperback (600 pages) Publisher: Springer Published: 16 Jul 2008
Understanding Molecular Simulation: From Algorithms to Applications (Computational Science)
by Daan Frenkel,Berend Smit Professor
ISBN 13: 9780122673511
Format: Hardcover (664 pages) Publisher: Academic Press Published: 19 Oct 2001
Applications and Innovations in Intelligent Systems Viii: Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based ... December 2000 (Applications & Innovations S.)
by Ann Macintosh,Mike Moulton,Frans Coenen
ISBN 13: 9781852334024
Format: Illustrated (208 pages) Publisher: Springer Published: 10 Jan 2001
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008
A First Course in Finite Elements
by Jacob Fish,Ted Belytschko
ISBN 13: 9780470035801
Format: Paperback (352 pages) Publisher: Wiley Published: 13 Apr 2007
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback