Digital Design and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781420074154
Format: Hardcover (1168 pages) Publisher: CRC Press Published: 16 Jun 2008
Save for later
Integrated Chemical Microsensor Systems in CMOS Technology (Microtechnology and MEMS)
by Andreas Hierlemann
ISBN 13: 9783540237822
Format: Hardcover (229 pages) Publisher: Springer Published: 21 Feb 2005
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
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
The Calculus of Computation: Decision Procedures with Applications to Verification
by Aaron R. Bradley,Zohar Manna
ISBN 13: 9783540741121
Format: Hardcover (366 pages) Publisher: Springer Published: 03 Sep 2007
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jim Smith,Ravi Nair
ISBN 13: 9781558609105
Format: Hardcover (656 pages) Publisher: Morgan Kaufmann Published: 12 Jul 2005
Quantitative Measure for Discrete Event Supervisory Control
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005