Your search returned 8 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Series: Series on Integrated Circuits and Systems
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: TK7874.58 G36 2007.

Place hold Add to cart
2.
Sub-threshold Design for Ultra Low-Power Systems [electronic resource] / by Alice Wang, Benton H. Calhoun, Anantha P. 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, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7881.15 W36 2006.

Place hold Add to cart
3.
Statistical Analysis and Optimization for VLSI: Timing and Power [electronic resource] / by Ashish Srivastava, Dennis Sylvester, David Blaauw. 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., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.75 .S72 2005.

Place hold Add to cart
4.
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
5.
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
6.
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
7.
CMOS Biotechnology [electronic resource] / edited by Hakho Lee, Robert M. Westervelt, Donhee Ham. by Series: Series on Integrated Circuits and Systems
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: TK7871.99.M44 C56 2007.

Place hold Add to cart
8.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. 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: TK7885.7 E42 2006.

Place hold Add to cart
Pages

Powered by Koha