Your search returned 241 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
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
182.
Trends in Intelligent Systems and Computer Engineering [electronic resource] / edited by Oscar Castillo, Li Xu, Sio-Iong Ao. by Series: Lecture Notes in Electrical Engineering ; 6
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 C37 2008.

Place hold Add to cart
183.
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.

Place hold Add to cart
184.
Transaction Level Modeling with SystemC [electronic resource] : TLM Concepts and Applications for Embedded Systems / edited by Frank Ghenassia. 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: TK7895.E42 G44 2005.

Place hold Add to cart
185.
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.

Place hold Add to cart
186.
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.

Place hold Add to cart
187.
Communication System Design Using DSP Algorithms with Laboratory Experiments for the TMS320C6713™ DSK [electronic resource] / by Steven A. Tretter. by Series: Information Technology: Transmission, Processing, and Storage
Edition: 1a ed.
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: TK5102.9 T74 2008.

Place hold Add to cart
188.
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.

Place hold Add to cart
189.
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.

Place hold Add to cart
190.
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.

Place hold Add to cart
191.
Fuzzy Modeling and Fuzzy Control [electronic resource] / by Huaguang Zhang, Derong Liu. by Series: Control Engineering
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.5 Z43 2006.

Place hold Add to cart
192.
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.

Place hold Add to cart
193.
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
194.
CMOS PLL Synthesizers: Analysis and Design [electronic resource] / by Keliu Shu, Edgar Sánchez-Sinencio. by Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal Processing ; 783
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: TK7872.F73 S58 2005.

Place hold Add to cart
195.
High-performance Packet Switching Architectures [electronic resource] / edited by Itamar Elhanany, Mounir Hamdi. by
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: TK5105.3 .H54 2007.

Place hold Add to cart
196.
Quantum Superposition [electronic resource] : Counterintuitive Consequences of Coherence, Entanglement, and Interference / by Mark P. Silverman. by Series: Frontiers Collection
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC174.17.S78 S55 2008.

Place hold Add to cart
197.
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.

Place hold Add to cart
198.
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.

Place hold Add to cart
199.
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.

Place hold Add to cart
200.
Sensors [electronic resource] : Advancements in Modeling, Design Issues, Fabrication and Practical Applications / edited by S.C. Mukhopadhyay, R.Y.M. Huang. by Series: Lecture Notes Electrical Engineering ; 21
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA165 M85 2008.

Place hold Add to cart
Pages

Powered by Koha