Your search returned 25 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Interconnect Noise Optimization in Nanometer Technologies [electronic resource] / by Mohamed A. Elgamel, Magdy A. Bayoumi. 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: TK7874.53 E55 2006.

Place hold Add to cart
2.
Distributed Network Systems [electronic resource] : From Concepts to Implementations / by Weijia Jia, Wanlei Zhou. by Series: Network Theory and Applications ; 15
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: TK5105.5 .J53 2005.

Place hold Add to cart
3.
Verification Methodology Manual for SystemVerilog [electronic resource] / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Synopsys, Inc. and ARM Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 .V44 2005.

Place hold Add to cart
4.
SystemVerilog for Design [electronic resource] : A Guide to Using SystemVerilog for Hardware Design and Modeling / by Stuart Sutherland, Simon Davidmann, Peter Flake. by
Edition: Second Edition.
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 S87 2006.

Place hold Add to cart
5.
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
6.
Rapid Prototyping of Digital Systems [electronic resource] / by James O. Hamblen, Tyson S. Hall, Michael D. Furman. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 H36 2008.

Place hold Add to cart
7.
Curves and Surfaces for Computer Graphics [electronic resource] / by David Salomon. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 .S2434 2005.

Place hold Add to cart
8.
Tutorials on Emerging Methodologies and Applications in Operations Research [electronic resource] : Presented at Informs 2004, Denver, CO / edited by H J. G. by Series: International Series in Operations Research & Management Science ; 76
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T57.6.A1 I54 2005.

Place hold Add to cart
9.
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. 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: TK7874.58 .B47 2006.

Place hold Add to cart
10.
Design of Embedded Control Systems [electronic resource] / by Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ223.M53 D47 2005.

Place hold Add to cart
11.
Assembly Line Design [electronic resource] : The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms / by Brahim Rekiek, Alain Delchambre. by Series: Springer Series in Advanced Manufacturing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TS178.4 R35 2006.

Place hold Add to cart
12.
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
13.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction [electronic resource] / by Tom Carson, Donna L. Baker. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 C37 2006.

Place hold Add to cart
14.
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
15.
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
16.
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
17.
18.
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
19.
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
20.
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
Pages

Powered by Koha