Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 166.819 registro(s)


Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Más información

ISBNs: 978-3-540-29209-8 (impreso) 978-3-540-31969-6 (en línea)

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

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


Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Más información

ISBNs: 978-3-540-75595-1 (impreso) 978-3-540-75596-8 (en línea)

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

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


Automated Technology for Vertification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Más información

ISBNs: 978-3-540-47237-7 (impreso) 978-3-540-47238-4 (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 - Ciencias físicas - Medios de comunicación  


Automatic Autocorrelation and Spectral Analysis

Más información

ISBNs: 978-1-84628-328-4 (impreso) 978-1-84628-329-1 (en línea)

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

Cobertura temática: Matemáticas  


libros Acceso Abierto
Agregar a Mi catálogo

Automatic Control and Routing of Marine Vessels

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ingeniería y tecnología  


Automatic Differentiation: Applications, Theory, and Implementations

Más información

ISBNs: 978-3-540-28403-1 (impreso) 978-3-540-28438-3 (en línea)

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

Cobertura temática: Matemáticas  


libros Acceso Abierto
Agregar a Mi catálogo

Automatic ECG analysis using principal component analysis and wavelet transformation

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

libros Acceso Abierto
Agregar a Mi catálogo

Automatic Flight Control Systems: Latest Developments

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ingeniería y tecnología - Otras ingenierías y tecnologías - Ingeniería mecánica  


libros Acceso Abierto
Agregar a Mi catálogo

Automatic Reconstruction of Textured 3D Models

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

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


libros Acceso Abierto
Agregar a Mi catálogo

Automatic Religion: Nearhuman Agents of Brazil and France

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

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