Your search returned 122 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Condition Monitoring and Control for Intelligent Manufacturing [electronic resource] / edited by Lihui Wang, Robert X. Gao. by Series: Springer Series in Advanced Manufacturing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ153 .C634 2006.

Place hold Add to cart
82.
83.
84.
Embedded System Design [electronic resource] / by P. Marwedel. by
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer US, 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 M37 2006.

Place hold Add to cart
85.
Electromagnetic Compatibility of Integrated Circuits [electronic resource] : Techniques for low emission and susceptibility / edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard. by
Material type: Computer file Computer file; Format: electronic
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: TK7867.2 B46 2006.

Place hold Add to cart
86.
Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Series: Lecture Notes in Computer Science ; 4684
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 K36 2007.

Place hold Add to cart
87.
Modelling in Mechanical Engineering and Mechatronics [electronic resource] : Towards Autonomous Intelligent Software Models / by Nikolay Avgoustinov. 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: TJ153 N55 2007.

Place hold Add to cart
88.
Inverse Problems in Electric Circuits and Electromagnetics [electronic resource] / by V. L. Chechurin, N. V. Korovkin, M. Hayakawa. by Series: Mathematical and Analytical Techniques with Applications to Engineering
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: TK454 C47 2007.

Place hold Add to cart
89.
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. 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: Q340 .Y83 2006.

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

Place hold Add to cart
92.
93.
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
94.
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
95.
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
96.
Subdivision Surfaces [electronic resource] / by Jörg Peters, Ulrich Reif. by Series: Geometry and Computing ; 3
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: QA646 P48 2008.

Place hold Add to cart
97.
The Universal Generating Function in Reliability Analysis and Optimization [electronic resource] / by Gregory Levitin. by Series: Springer Series in Reliability Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA347.C6 L58 2005.

Place hold Add to cart
98.
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
99.
Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp. by Series: Lecture Notes in Computer Science ; 3637
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 M67 2005.

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

Powered by Koha