Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Abstraction Refinement for Large Scale Model Checking [recurso electrónico] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi. por Series Series on Integrated Circuits and Systems
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2006 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815.

Place hold Add to cart
2.
Modeling and Diagnostics of Polymer Electrolyte Fuel Cells [electronic resource] / edited by Chao-Yang Wang, Ugur Pasaogullari. por Series Modern Aspects of Electrochemistry
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York : Imprint: Springer, 2010 En: Springer eBooks
Recursos en línea:
Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 541.37.

Place hold Add to cart
Pages