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

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 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  


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  


Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning

Más información

ISBNs: 978-1-85233-835-0 (impreso) 978-1-84628-106-8 (en línea)

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

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


Automorphic Forms and Lie Superalgebras

Más información
Autores/as: Urmie Ray

ISBNs: 978-1-4020-5009-1 (impreso) 978-1-4020-5010-7 (en línea)

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

Cobertura temática: Matemáticas  


Automotive Control Systems: For Engine, Driveline, and Vehicle

Más información

ISBNs: 978-3-540-23139-4 (impreso) 978-3-540-26484-2 (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  


Automotive Lighting and Human Vision

Más información

ISBNs: 978-3-540-36696-6 (impreso) 978-3-540-36697-3 (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  


Automotive Production Systems and Standardisation: From Ford to the Case of Mercedes-Benz

Más información
Autores/as: Constanze Clarke

ISBNs: 978-3-7908-1578-8 (impreso) 978-3-7908-1628-0 (en línea)

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

Cobertura temática: Economía y negocios  


Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Más información

ISBNs: 978-3-540-37677-4 (impreso) 978-3-540-37678-1 (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