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)
by
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
Save for later
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
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
Algorithmic Architecture
by Kostas Terzidis
ISBN 13: 9780750667258
Format: Paperback (176 pages) Publisher: Routledge Published: 10 May 2006
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
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
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science)
ISBN 13: 9783540884781
Format: Paperback (708 pages) Publisher: Springer Published: 14 Oct 2008