Your search returned 114 results.

Sort
Results
81.
Software-Implemented Hardware Fault Tolerance [electronic resource] / by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante. 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.F38 S664 2006.

82.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.75 F67 2005.

83.
Clock Generators for SOC Processors [electronic resource] : Circuits and Architectures / by Amr M. Fahim. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Kluwer Academic Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7872.F73 F34 2005.

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

86.
Digital Satellite Communications [electronic resource] / edited by Giovanni Corazza. by Series: Information Technology: Transmission, Processing and Storage
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: TK5104 .D538 2007.

87.
Ultra Low Power Capacitive Sensor Interfaces [electronic resource] / by Wouter Bracke, Robert Puers, Chris Hoof. by Series: Analog Circuits and Signal Processing Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA165 B73 2007.

88.
Data Converters [electronic resource] / by Franco Maloberti. 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: TK7887.6 M28 2007.

89.
Wideband Amplifiers [electronic resource] / edited by Peter Starič, Erik Margan. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7871.58.B74 S73 2006.

90.
Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by
Material type: Computer file Computer file; Format: electronic
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: TK7895.E42 M57 2005.

91.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 D37 2006.

92.
Wide-Bandwidth High-Dynamic Range D/A Converters [electronic resource] / by Konstantinos Doris, Arthu van Roermund, Domine Leenaerts. by Series: The International Series in Engineering and Computer Science ; 871
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7887.6 D67 2006.

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

94.
The Core Test Wrapper Handbook [electronic resource] : Rationale and Application of IEEE Std. 1500™ / by Francisco Silva, Teresa McLaurin, Tom Waayers. by Series: Frontiers in Electronic Testing ; 35
Material type: Computer file Computer file; Format: electronic
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: TK7895.E42 S55 2006.

95.
Digital Design and Implementation with Field Programmable Devices [electronic resource] / by Zainalabedin Navabi. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK895.G36 N38 2005.

96.
Power Distribution Networks with On-Chip Decoupling Capacitors [electronic resource] / by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345.5.A73 P67 2008.

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

98.
99.
Mixed-Signal Layout Generation Concepts [electronic resource] / by Chieh Lin, Arthur H. M. Roermund, Domine M. W. Leenaerts. by Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal Processing ; 751
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
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.55 L56 2005.

100.
Reconfigurable Computing [electronic resource] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A3 G65 2005.

Pages

Powered by Koha