Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 11.540 registro(s)

Filtros temática quitar todos

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  


Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Más información

ISBNs: 978-3-540-28231-0 (impreso) 978-3-540-31897-2 (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  


Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Más información

ISBNs: 978-3-540-74914-1 (impreso) 978-3-540-74915-8 (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 - Lenguas y literatura  


Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI'2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent Us

Más información

ISBNs: 978-1-4020-3145-8 (impreso) 978-1-4020-3304-9 (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 - Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Computer-assisted simultaneous interpreting: A cognitive-experimental study on terminology

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: Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Computereinsatz in Schule und Schülerlabor: Einstellung von Physiklehrkräften zu Neuen Medien

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: Educación - Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Computers, Literature and Philology CLiP 2003

Más información

ISBNs: 8884532957 (impreso) 8884532965 (en línea)

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

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


Computing Attitude and Affect in Text: Theory and Applications

Más información

ISBNs: 978-1-4020-4026-9 (impreso) 978-1-4020-4102-0 (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 - Ingeniería eléctrica, electrónica e informática - Medios de comunicación - Lenguas y literatura  


Computing Meaning

Más información

ISBNs: 978-1-4020-5957-5 (impreso) 978-1-4020-5958-2 (en línea)

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

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