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
Graph Classification And Clustering Based On Vector Space Embedding (Series in Machine Perception and Artificial Intelligence)
by Riesen Kaspar & Bunke Horst
ISBN 13: 9789814304719
Format: Hardcover (348 pages) Publisher: World Scientific Publishing Published: 30 Jun 2011
Autonomic Computing: Concepts, Infrastructure, and Applications
ISBN 13: 9780849393679
Format: Hardcover (568 pages) Publisher: CRC Press Published: 15 Dec 2006
System Modeling and Control with Resource-oriented Petri Nets (Automation and Control Engineering)
by MengChu Zhou,Naiqi Wu
ISBN 13: 9781439808849
Format: Hardcover (312 pages) Publisher: CRC Press Published: 02 Nov 2009
The Compiler Design Handbook: Optimizations and Machine Code Generation
ISBN 13: 9781420043822
Format: Hardcover (784 pages) Publisher: CRC Press Published: 07 Dec 2007
Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008