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
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
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
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
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)
by Andrea Toselli, Olof Widlund
ISBN 13: 9783540206965
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Oct 2004
The SIM Guide to Enterprise Architecture
by Leon Kappelman
ISBN 13: 9781439811139
Format: Illustrated (330 pages) Publisher: CRC Press Published: 27 Oct 2009
Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)
by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu
ISBN 13: 9783642048425
Format: Paperback (554 pages) Publisher: Springer Published: 05 Oct 2009
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
Handbook of Technology in Financial Services 1999
by Jessica Keyes
ISBN 13: 9780849399817
Format: Hardcover (752 pages) Publisher: Auerbach Publications Published: 18 Dec 1998
PC Mod Projects: Cool It! Light It! Morph It! (One-off)
by Edward Chen,Carl Mixon,Grace Punska,Philip Mansfield
ISBN 13: 9780072230116
Format: Illustrated (304 pages) Publisher: McGraw-Hill/OsborneMedia Published: 13 Aug 2003