Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 5.822 registro(s)

Filtros temática quitar todos
libros
Agregar a Mi catálogo

Computer Aided Systems Theory: EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-29002-5 (impreso) 978-3-540-31829-3 (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 - Artes  

libros
Agregar a Mi catálogo

Computer Aided Systems Theory: EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Más información

ISBNs: 978-3-540-75866-2 (impreso) 978-3-540-75867-9 (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 - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 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: Ciencias de la computación e información - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, 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 - 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 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  

libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 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: Matemáticas - Ciencias de la computación e información - Lenguas y literatura - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 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: Matemáticas - Ciencias de la computación e información - Lenguas y literatura - Artes  

revistas Acceso Abierto
Agregar a Mi catálogo

Computers

Más información

ISSNs 2073-431X (impreso)

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

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

libros Acceso Abierto
Agregar a Mi catálogo

Comradely objects: Design and material culture in Soviet Russia, 1960s–80s

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 sociales - Sociología - Artes - Otras humanidades