Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Save for later
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397 (Lecture Notes in Computer Science)
by Matteo Baldoni
ISBN 13: 9783540939191
Format: Paperback (264 pages) Publisher: Springer Published: 13 Feb 2009
Information: A Very Short Introduction (Very Short Introductions)
by Luciano Floridi
ISBN 13: 9780199551378
Format: Illustrated (130 pages) Publisher: OUP Oxford Published: 25 Feb 2010
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science Series)
by Michael Alexander, William Gardner
ISBN 13: 9781420064865
Format: Hardcover (440 pages) Publisher: Chapman and Hall/CRC Published: 22 Dec 2008
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems
by Mohammed S. Obaidat,Noureddine A. Boudriga
ISBN 13: 9780471269830
Format: Hardcover (480 pages) Publisher: Wiley-Interscience Published: 04 Mar 2010
Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)
by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge
ISBN 13: 9789089640260
Format: Paperback (240 pages) Publisher: Amsterdam University Press Published: 01 Jul 2008
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
Optimization Techniques for Solving Complex Problems: 76 (Wiley Series on Parallel and Distributed Computing)
by Enrique Alba,Christian Blum,Pedro Asasi,Coromoto Leon,Juan Antonio Gomez
ISBN 13: 9780470293324
Format: Illustrated (504 pages) Publisher: Wiley Published: 09 Apr 2009
Designing Embedded Internet Devices (Embedded Technology)
by Brian DeMuth,Dan Eisenreich
ISBN 13: 9781878707987
Format: Paperback (582 pages) Publisher: Newnes Published: 27 Nov 2002
DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming
by Tom Addis,Jan Addis
ISBN 13: 9781848826175
Format: Paperback (416 pages) Publisher: Springer Published: 04 Feb 2010
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
High - Level Synthesis: Introduction to Chip and System Design
by Daniel D. Gajski,Nikil D. Dutt,Allen C-H Wu
ISBN 13: 9780792391944
Format: Illustrated (376 pages) Publisher: Springer Published: 29 Feb 1992