Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
by
ISBN 13: 9783642034589
Format: Paperback (223 pages) Publisher: Springer Published: 03 Sep 2009
Save for later
Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008 (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642035517
Format: Paperback (396 pages) Publisher: Springer Published: 21 Sep 2009
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 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
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
New Frontiers in Artificial Intelligence: JSAI 2006 Conference andWorkshops: 4384 (Lecture Notes in Computer Science)
by Takashi Washio,Hideaki Takeda,Ken Satoh,Akihiro Inokuchi
ISBN 13: 9783540699019
Format: Paperback (416 pages) Publisher: Springer Berlin Heidelberg Published: 02 Jun 2010