Constraint-Based Verification
by Jun Yuan,Carl Pixley,Adnan Aziz
ISBN 13: 9780387259475
Format: Hardcover (253 pages) Publisher: Springer Published: 24 Feb 2006
Save for later
Digital Phase Lock Loops: Architectures and Applications
by Saleh R. Al-Araji,Zahir M. Hussain,Mahmoud A. Al-Qutayri
ISBN 13: 9780387328638
Format: Hardcover (191 pages) Publisher: Springer Published: 10 Aug 2006
Continuous-Time Signals (Signals and Communication Technology)
by Yuriy Shmaliy
ISBN 13: 9781402048173
Format: Hardcover (368 pages) Publisher: Springer Published: 11 Aug 2006
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
by Malay Ganai,Aarti Gupta
ISBN 13: 9780387691664
Format: Hardcover (330 pages) Publisher: Springer Published: 15 Aug 2007
Fine- and Coarse-Grain Reconfigurable Computing
by
ISBN 13: 9781402065040
Format: Hardcover (400 pages) Publisher: Springer Published: 12 Oct 2007
Semiconductor Modeling:: For Simulating Signal, Power, and Electromagnetic Integrity
by Roy Leventhal,Lynne Green
ISBN 13: 9780387241593
Format: Hardcover (788 pages) Publisher: Springer Published: 29 Nov 2006
No More Muddling Through: Mastering Complex Projects in Engineering and Management
by Rainer Züst,P. Troxler
ISBN 13: 9781402050176
Format: Hardcover (197 pages) Publisher: Springer Published: 10 Aug 2006
MEMS Linear and Nonlinear Statics and Dynamics (Microsystems)
by Mohammad I. Younis
ISBN 13: 9781441960191
Format: Hardcover (468 pages) Publisher: Springer Published: 20 Jun 2011
Designing Network On-Chip Architectures in the Nanoscale Era (Chapman & Hall/CRC Computational Science)
ISBN 13: 9781439837108
Format: Hardcover (528 pages) Publisher: Chapman and Hall/CRC Published: 25 Jan 2011
Circuit Analysis 2e
by William H. Hayt
ISBN 13: 9780471125013
Format: Paperback (480 pages) Publisher: John Wiley & Sons Published: 09 Dec 1994
Analog Circuits and Systems for Voltage-Mode and Current-Mode Sensor Interfacing Applications (Analog Circuits and Signal Processing)
by Andrea De Marcellis, Giuseppe Ferri
ISBN 13: 9789048198276
Format: Hardcover (242 pages) Publisher: Springer Published: 01 Jul 2011
High-Level Verification: Methods and Tools for Verification of System-Level Designs
by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
ISBN 13: 9781441993588
Format: Hardcover (180 pages) Publisher: Springer Published: 19 May 2011