Your search returned 64 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Compiling Esterel [electronic resource] / by Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 P67 2007.

Place hold Add to cart
2.
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
3.
RF System Design of Transceivers for Wireless Communications [electronic resource] / by Qizheng Gu. 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: TK6560 .G78 2005.

Place hold Add to cart
4.
Data Mining and Diagnosing IC Fails [electronic resource] / by Leendert M. Huisman. by Series: Frontiers in Electronic Testing ; 31
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 .H85 2005.

Place hold Add to cart
5.
UML for SOC Design [electronic resource] / edited by Grant Martin, Wolfgang Müller. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 U45 2005.

Place hold Add to cart
6.
Adaptive Techniques for Mixed Signal System on Chip [electronic resource] / by Ayman Fayed, Mohammed Ismail. by Series: The International Series in Engineering and Computer Science ; 872
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 F39 2006.

Place hold Add to cart
7.
Design of Systems on a Chip: Design and Test [electronic resource] / edited by Ricardo Reis, Marcelo Lubaszewski, Jochen A.G. Jess. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 D48 2007.

Place hold Add to cart
8.
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
9.
Analog Circuit Design Techniques at 0.5 V [electronic resource] / by Shouri Chatterjee, Kong Pang Pun, Nebojša Stanić, Yannis Tsividis, Peter Kinget. by Series: Analog Circuits and Signal Processing Series
Edition: 1.
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.654 A53 2007.

Place hold Add to cart
10.
Polynomial and Rational Matrices [electronic resource] : Applications in Dynamical Systems Theory / by Tadeusz Kaczorek. by Series: Communications and Control Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA188 K33 2007.

Place hold Add to cart
11.
Digital Phase Lock Loops [electronic resource] : Architectures and Applications / by Saleh R. Al-araji, Zahir M. Hussain, Mahmoud A. Al-qutayri. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer US, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7872.P38 A43 2006.

Place hold Add to cart
12.
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
13.
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
14.
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
15.
16.
Computational Intelligence [electronic resource] : for Engineering and Manufacturing / edited by Diego Andina, Duc Truong Pham. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q342 C65 2007.

Place hold Add to cart
17.
A Practical Guide for SystemVerilog Assertions [electronic resource] / by Srikanth Vijayaraghavan, Meyyappan Ramanathan. 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: TK7885.7 .V55 2005.

Place hold Add to cart
18.
Feedforward Amplifiers for Wideband Communication Systems [electronic resource] / by Jon Legarda. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.58.B74 L44 2006.

Place hold Add to cart
19.
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
20.
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
Pages

Powered by Koha