Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrar más

Mostrando 10 de 166.819 registro(s)

libros
Agregar a Mi catálogo

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Más información

ISBNs: 978-3-540-77355-9 (impreso) 978-3-540-77356-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 - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros
Agregar a Mi catálogo

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Más información

ISBNs: 978-3-540-31332-8 (impreso) 978-3-540-31363-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 - Lenguas y literatura  

revistas
Agregar a Mi catálogo

Automated Experimentation

Más información

ISSNs 1759-4499 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde ene. 2009 / hasta dic. 2012 PubMed Central acceso abierto

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

libros Acceso Abierto
Agregar a Mi catálogo

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

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 de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes

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

libros Acceso Abierto
Agregar a Mi catálogo

Automated Machine Learning: Methods, Systems, Challenges

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 de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Automated Machine Learning

Más información

ISBNs: 978-3-030-05317-8 (impreso) 978-3-030-05318-5 (en línea)

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

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

libros Acceso Abierto
Agregar a Mi catálogo

Automated Model Generation and Observer Design for Interconnected Systems: A Port-Hamiltonian Approach

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: Matemáticas - Ingeniería y tecnología - Ingeniería eléctrica, electrónica e informática  

libros
Agregar a Mi catálogo

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Más información

ISBNs: 978-3-540-37187-8 (impreso) 978-3-540-37188-5 (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  

libros Acceso Abierto
Agregar a Mi catálogo

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

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 de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Artes