Your search returned 48 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Taxonomies for the Development and Verification of Digital Systems [electronic resource] / edited by Brian Bailey, Grant Martin, Thomas Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.65 T39 2005.

Place hold Add to cart
22.
Standardized Functional Verification [electronic resource] / by Alan Wiemann. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 W54 2008.

Place hold Add to cart
23.
Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 S64 2006.

Place hold Add to cart
24.
Leakage in Nanometer CMOS Technologies [electronic resource] / by Siva G. Narendra, Anantha Chandrakasan. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.99.M44 L43 2006.

Place hold Add to cart
25.
Embedded System Design [electronic resource] / by P. Marwedel. by
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer US, 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 M37 2006.

Place hold Add to cart
26.
Electromagnetic Compatibility of Integrated Circuits [electronic resource] : Techniques for low emission and susceptibility / edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7867.2 B46 2006.

Place hold Add to cart
27.
Inverse Problems in Electric Circuits and Electromagnetics [electronic resource] / by V. L. Chechurin, N. V. Korovkin, M. Hayakawa. by Series: Mathematical and Analytical Techniques with Applications to Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK454 C47 2007.

Place hold Add to cart
28.
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q340 .Y83 2006.

Place hold Add to cart
29.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.75 F67 2005.

Place hold Add to cart
30.
Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 W36 2006.

Place hold Add to cart
31.
Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 M57 2005.

Place hold Add to cart
32.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 D37 2006.

Place hold Add to cart
33.
Semiconductor Modeling [electronic resource] : For Simulating Signal, Power, and Electromagnetic Integrity / by Roy G. Leventhal, Lynne Green. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.85 .L458 2005.

Place hold Add to cart
34.
The Core Test Wrapper Handbook [electronic resource] : Rationale and Application of IEEE Std. 1500™ / by Francisco Silva, Teresa McLaurin, Tom Waayers. by Series: Frontiers in Electronic Testing ; 35
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 S55 2006.

Place hold Add to cart
35.
Digital Design and Implementation with Field Programmable Devices [electronic resource] / by Zainalabedin Navabi. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK895.G36 N38 2005.

Place hold Add to cart
36.
Power Distribution Networks with On-Chip Decoupling Capacitors [electronic resource] / by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345.5.A73 P67 2008.

Place hold Add to cart
37.
Thermal and Power Management of Integrated Circuits [electronic resource] / by Arman Vassighi, Manoj Sachdev. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 V37 2006.

Place hold Add to cart
38.
Mixed-Signal Layout Generation Concepts [electronic resource] / by Chieh Lin, Arthur H. M. Roermund, Domine M. W. Leenaerts. by Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal Processing ; 751
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.55 L56 2005.

Place hold Add to cart
39.
Dynamics of Microelectromechanical Systems [electronic resource] / by Nicolae Lobontiu. by Series: Microsystems ; 17
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7875 L59 2007.

Place hold Add to cart
40.
Pages

Powered by Koha