Catálogo de publicaciones


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.629 registro(s)

Filtros temática quitar todos

libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems: Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-319-89959-6 (impreso) 978-3-319-89960-2 (en línea)

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

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


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems: Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-319-89962-6 (impreso) 978-3-319-89963-3 (en línea)

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

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


Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24: April 1, 2007. Pro

Más información

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


Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory ad Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. P

Más información

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


Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25: Apr

Más información

ISBNs: 978-3-540-33056-1 (impreso) 978-3-540-33057-8 (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  


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-030-17461-3 (impreso) 978-3-030-17462-0 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-030-17501-6 (impreso) 978-3-030-17502-3 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-030-45189-9 (impreso) 978-3-030-45190-5 (en línea)

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

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


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-030-45236-0 (impreso) 978-3-030-45237-7 (en línea)

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

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


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems

Más información

ISBNs: 978-3-030-17464-4 (impreso) 978-3-030-17465-1 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura