Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Save for later
Security Engineering for Service-Oriented Architectures
by Michael Hafner,Ruth Breu
ISBN 13: 9783540795384
Format: Hardcover (248 pages) Publisher: Springer Published: 10 Oct 2008
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
System Modeling and Optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers (IFIP Advances in Information and Communication Technology)
ISBN 13: 9783642048012
Format: Hardcover (507 pages) Publisher: Springer Published: 15 Oct 2009
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Arithmetic Optimization Techniques for Hardware and Software Design
by Ryan Kastner,Anup Hosangadi,Farzan Fallah
ISBN 13: 9780521880992
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 06 May 2010
The Feynman Processor: Quantum Entanglement and the Computing Revolution (Frontiers of Science (Reading, Mass.).)
by Gerard Milburn
ISBN 13: 9780738201733
Format: Paperback (240 pages) Publisher: Basic Books Published: 17 Sep 1999
High-Level Synthesis: from Algorithm to Digital Circuit
ISBN 13: 9781402085871
Format: Hardcover (300 pages) Publisher: Springer Published: 26 Aug 2008
Ocean Wave Energy: Current Status and Future Prespectives (Green Energy and Technology)
by Joao Cruz
ISBN 13: 9783540748946
Format: Hardcover (431 pages) Publisher: Springer Published: 04 Jan 2008
Reliable Computer Systems: Design and Evaluation
by Daniel P. Siewiorek,Robert S. Swarz
ISBN 13: 9781568810928
Format: Hardcover (908 pages) Publisher: A K Peters/CRC Press Published: 15 Dec 1998
Bioinformatics: High Performance Parallel Computer Architectures (Embedded Multi-core Systems)
ISBN 13: 9781439814888
Format: Hardcover (370 pages) Publisher: CRC Press Published: 16 Jul 2010
Discrete-event Modeling and Simulation (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriel A. Wainer
ISBN 13: 9781420053364
Format: Hardcover (520 pages) Publisher: CRC Press Published: 30 Apr 2009