Your search returned 56 results.

Sort
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.

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.

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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
Advanced BDD Optimization [electronic resource] / by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler. 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: T57.95 .E24 2005.

19.
Dynamic Characterisation of Analogue-to-Digital Converters [electronic resource] / by Dominique Dallet, José Machado Silva. by Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal Processing ; 860
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: TK7887.6 .D96 2005.

20.
Ultra-Wideband, Short-Pulse Electromagnetics 7 [electronic resource] / edited by Frank Sabath, Eric L. Mokole, Uwe Schenk, Daniel Nitsch. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5103.4 U48 2007.

Pages

Powered by Koha