Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Save for later
Pipelined ADC Design and Enhancement Techniques (Analog Circuits and Signal Processing)
by Imran Ahmed
ISBN 13: 9789048186518
Format: Hardcover (240 pages) Publisher: Springer Published: 19 Mar 2010
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
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