Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.620 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

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

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

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

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

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

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: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

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

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

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

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

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

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

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 - Medios de comunicación  


libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

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