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
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
Integrating ISA Server 2006 with Microsoft Exchange 2007
by Fergus Strachan
ISBN 13: 9781597492751
Format: Paperback (376 pages) Publisher: Syngress Published: 17 Jul 2008
Scalable Information Systems: 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)
by
ISBN 13: 9783642104848
Format: Paperback (323 pages) Publisher: Springer Published: 25 Nov 2009
Digital Design from Zero to One
by Jerry D. Daniel
ISBN 13: 9780471124474
Format: Paperback (644 pages) Publisher: John Wiley & Sons Published: 18 Apr 1996
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, ... Computer Science and General Issues)
ISBN 13: 9783642210693
Format: Paperback (371 pages) Publisher: Springer Published: 20 May 2011