Your search returned 37 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.
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.

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

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

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

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

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

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

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

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

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

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

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

15.
Digital Timing Measurements [electronic resource] : From Scopes and Probes to Timing and Jitter / by Wolfgang Maichen. by Series: Frontiers in Electronic Testing ; 33
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: TK7878 M33 2006.

16.
Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. 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: QA76.9.M35 G67 2005.

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

18.
Broadband Fixed Wireless Access [electronic resource] : A System Perspective / by Marc Engels, Frederik Petré. by Series: Signals and Communication Technology
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: TK5103.2 E57 2006.

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

20.
Design and Optimization of Passive UHF RFID Systems [electronic resource] / by Jari-Pascal Curty, Michel Declercq, Catherine Dehollain, Norbert Joehl. by
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: TK6553 D39 2007.

Pages

Powered by Koha