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

Computational Techniques for Voltage Stability Assessment and Control

Más información

ISBNs: 978-0-387-26080-8 (impreso) 978-0-387-32935-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  


Computational Textile

Más información

ISBNs: 978-3-540-70656-4 (impreso) 978-3-540-70658-8 (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 - Ingeniería de los materiales  


revistas Acceso Abierto
Agregar a Mi catálogo

Computational Visual Media

Más información

ISSNs 2096-0433 (impreso) 2096-0662 (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. 2015 / hasta nov. 2024 SpringerLink acceso abierto

Cobertura temática: Matemáticas - Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática  


revistas Acceso Abierto
Agregar a Mi catálogo

Computer Aided Surgery

Más información

ISSNs 1092-9088 (impreso) 1097-0150 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde ene. 1997 / hasta dic. 2015 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  


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  


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

Más información

ISBNs: 978-3-319-96144-6 (impreso) 978-3-319-96145-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2018 SpringerLink 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  


libros Acceso Abierto
Agregar a Mi catálogo

Computer Aided Verification

Más información

ISBNs: 978-3-319-96141-5 (impreso) 978-3-319-96142-2 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2018 SpringerLink 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  


Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Más información

ISBNs: 978-3-540-27231-1 (impreso) 978-3-540-31686-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 Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Más información

ISBNs: 978-3-540-73367-6 (impreso) 978-3-540-73368-3 (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