Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 12.329 registro(s)

Filtros plataforma quitar todos

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-32604-5 (impreso) 978-3-540-32605-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática  


Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Más información

ISBNs: 978-3-540-70888-9 (impreso) 978-3-540-70889-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Matemáticas - Ciencias de la computación e información  


Hardware Verification with C++: A Practitioner's Handbook

Más información
Autores/as: Mike Mintz ; Robert Ekendahl

ISBNs: 978-0-387-25543-9 (impreso) 978-0-387-36254-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Lenguas y literatura  


Hardware Verification with SystemVerilog: An Object-Oriented Framework

Más información

ISBNs: 978-0-387-71738-8 (impreso) 978-0-387-71740-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ingeniería eléctrica, electrónica e informática  


libros Acceso Abierto
Agregar a Mi catálogo

Hardy Inequalities on Homogeneous Groups

Más información

ISBNs: 978-3-030-02894-7 (impreso) 978-3-030-02895-4 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2019 SpringerLink acceso abierto

Cobertura temática: Matemáticas  


Harmful Cyanobacteria

Más información

ISBNs: 978-1-4020-3009-3 (impreso) 978-1-4020-3022-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ciencias biológicas  


Harmonic Analysis and Applications: In Honor of John J. Benedetto

Más información

ISBNs: 978-0-8176-3778-1 (impreso) 978-0-8176-4504-5 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Matemáticas  


Harmonic Analysis and Rational Approximation: Their Rôles in Signals, Control and Dynamical Systems

Más información

ISBNs: 978-3-540-30922-2 (impreso) 978-3-540-33167-4 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ingeniería eléctrica, electrónica e informática  


Harmonic Analysis, Signal Processing, and Complexity: Festschrift in Honor of the 60th Birthday of Carlos A. Berenstein

Más información

ISBNs: 978-0-8176-4358-4 (impreso) 978-0-8176-4416-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Matemáticas  


libros Acceso Abierto
Agregar a Mi catálogo

Harnessing the Power of the Criminal Corpse

Más información
Autores/as: Sarah Tarlow ; Emma Battell Lowman

ISBNs: 978-3-319-77907-2 (impreso) 978-3-319-77908-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2018 SpringerLink acceso abierto

Cobertura temática: Sociología - Historia y arqueología - Filosofía, ética y religión