Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

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: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, 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: Matemáticas - Ciencias de la computación e información - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, 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: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, 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 in Artificial Intelligence

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  

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on

Más información

ISBNs: 0-7695-2236-X (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2004 IEEE Xplore

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

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on

Más información

ISBNs: 0-7695-2488-5 (impreso)

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

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

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2006. ICTAI '06. 18th IEEE International Conference on

Más información

ISBNs: 0-7695-2728-0 (impreso)

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

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

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on

Más información

ISBNs: 978-0-7695-3015-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 IEEE Xplore

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

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2008. ICTAI '08. 20th IEEE International Conference on

Más información

ISBNs: 978-0-7695-3440-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2008 IEEE Xplore

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

actas de congreso
Agregar a Mi catálogo

Tools with Artificial Intelligence, 2009. ICTAI '09. 21st International Conference on

Más información

ISBNs: 978-1-4244-5619-2 (impreso) 978-0-7695-3920-1 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2009 IEEE Xplore

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