Resultados
|
|
|
|
|
Architecture design and validation methods / Egon Borger, ed. por Börger, E. (Egon), 1946- [editor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A73 A73.
|
|
|
|
|
|
Contemporary logic design / Randy h. katz por Katz, Randy H, 1955- [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Redwood city, california : Benjamin/Cummings, c1994Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: TK7888.4 K37, ...
|
|
|
Dimension reduction of large-scale systems : proceedings of a workshop held in Oberwolfach, Germany, October 19-25, 2003 / Peter Benner, Volker Mehrmann, Danny C. Sorensen, editors por Benner, Peter [editor] | Mehrmann, V. L. (Volker Ludwig), 1955- [editor] | Sorensen, D. C., (Danny C.) [editor]. Series Lecture notes in computational science and engineering ; 45Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA347.C68 D55 2003.
|
|
|
|
|
|
|
|
|
|
|
|
Introduction to formal hardware verification / Thomas Kropf por Kropf, Thomas, 1961- [autor]. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TK7874.75 K76, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|