Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrar más

Mostrando 10 de 164.299 registro(s)

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  

libros
Agregar a Mi catálogo

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Más información

ISBNs: 978-3-540-73098-9 (impreso) 978-3-540-73099-6 (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 - Medicina básica  

libros
Agregar a Mi catálogo

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Más información

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