Refine your search

Your search returned 436 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
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.

Place hold Add to cart
122.
Power Quality [electronic resource] : Mitigation Technologies in a Distributed Environment / edited by Antonio Moreno-Muñoz. by Series: Power Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK3001 M67 2007. Biblioteca del Posgrado en Ingeniería Eléctrica (1)Call number: TK 3001 P69 2007 .

Place hold Add to cart
123.
Physics of Classical Electromagnetism [electronic resource] / by Minoru Fujimoto. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC760 F75 2007.

Place hold Add to cart
124.
Optical Burst Switched Networks [electronic resource] / by Jason P. Jue, Vinod M. Vokkarane. by Series: Optical Networks
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: TK5105.3 .J84 2005.

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

Place hold Add to cart
126.
An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote. by Series: Texts in Computer Science
Edition: Third Edition.
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: QA76.758 J35 2005.

Place hold Add to cart
127.
Curves and Surfaces for Computer Graphics [electronic resource] / by David Salomon. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 .S2434 2005.

Place hold Add to cart
128.
Symbolic Analysis and Reduction of VLSI Circuits [electronic resource] / by Zhanhai Qin, Sheldon X. D. Tan, Chung-Kuan Cheng. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.75 .Q26 2005.

Place hold Add to cart
129.
Wireless Networks [electronic resource] : Multiuser Detection in Cross-Layer Design / by Cristina Comaniciu, Narayan B. Mandayam, H. Vincent Poor. 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, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5103.2 .C66 2005.

Place hold Add to cart
130.
Micro-Tomographic Atlas of the Mouse Skeleton [electronic resource] / by Itai Bab, Carmit Hajbi-Yonissi, Yankel Gabet, Ralph Müller. 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: QL737.R666 M53 2007.

Place hold Add to cart
131.
Software Engineering Techniques: Design for Quality [electronic resource] / edited by Krzysztof Sacha. by Series: IFIP International Federation for Information Processing ; 227
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 S64 2007.

Place hold Add to cart
132.
Inverse Problems [electronic resource] : Mathematical and Analytical Techniques with Applications to Engineering / by Alexander G. Ramm. 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: TA347.D45 R36 2005.

Place hold Add to cart
133.
Fish Bioacoustics [electronic resource] : With 81 Illustrations / edited by Jacqueline F. Webb, Richard R. Fay, Arthur N. Popper. by Series: Springer Handbook of Auditory Research ; 32
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QL639.1 F54 2008.

Place hold Add to cart
134.
Nonlinear Dynamics in Geosciences [electronic resource] / by Anastasios A. Tsonis, James B. Elsner. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QE33.2.M3 N66 2007.

Place hold Add to cart
135.
Mechanosensing and Mechanochemical Transduction in Extracellular Matrix [electronic resource] : Biological, Chemical, Engineering, and Physiological Aspects / by Frederick H. Silver. 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: QP88.23 .S56 2006.

Place hold Add to cart
136.
Inference in Hidden Markov Models [electronic resource] / by Olivier Cappé, Eric Moulines, Tobias Rydén. by Series: Springer Series in Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA274.7 C37 2005.

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

Place hold Add to cart
138.
Biomedical EPR, Part A: Free Radicals, Metals, Medicine, and Physiology [electronic resource] / edited by Sandra R. Eaton, Gareth R. Eaton, Lawrence J. Berliner. by Series: Biological Magnetic Resonance ; 23
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: QH324.9.M28 B56 2005.

Place hold Add to cart
139.
Residual Stress Measurement and the Slitting Method [electronic resource] / by Weili Cheng, Iain Finnie. by Series: Mechanical Engineering Series
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: TA417.6 C44 2007.

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

Place hold Add to cart
Pages

Powered by Koha