Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 13.895 registro(s)

Filtros temática quitar todos

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Más información

ISBNs: 978-3-540-37406-0 (impreso) 978-3-540-37411-4 (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

Computer Aided Verification

Más información

ISBNs: 978-3-030-53287-1 (impreso) 978-3-030-53288-8 (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 - Ingeniería eléctrica, electrónica e informática  


libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification

Más información

ISBNs: 978-3-030-53290-1 (impreso) 978-3-030-53291-8 (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 - Ingeniería eléctrica, electrónica e informática  


libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, 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 - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Artes  


libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, 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 - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura - Artes  


Computer Analysis of Images and Patterns: 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

Más información

ISBNs: 978-3-540-74271-5 (impreso) 978-3-540-74272-2 (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 - Ingeniería eléctrica, electrónica e informática  


libros Acceso Abierto
Agregar a Mi catálogo

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Más información

ISBNs: 978-3-662-56464-6 (impreso) 978-3-662-56465-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
No requiere 2018 SpringerLink acceso abierto

Cobertura temática: Ingeniería y tecnología - Ingeniería eléctrica, electrónica e informática - Ingeniería química - Economía y negocios - Otras humanidades  


Computer Architecture Letters

Más información

ISSNs 1556-6056 (impreso) 1556-6064 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No detectada desde ene. 2004 / hasta dic. 2020 IEEE Xplore

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


revistas Acceso Abierto
Agregar a Mi catálogo

Computer Assisted Methods in Engineering and Science

Más información

ISSNs 2299-3649 (impreso) 2956-5839 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde ene. 2022 / hasta nov. 2024 Directory of Open Access Journals acceso abierto

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


revistas Acceso Abierto
Agregar a Mi catálogo

Computer Assisted Surgery

Más información

ISSNs 2469-9322 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde nov. 2024 / hasta nov. 2024 Directory of Open Access Journals acceso abierto
No requiere desde ene. 2016 / hasta nov. 2024 Taylor and Francis Online acceso abierto

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Medicina clínica - Ciencias de la salud