Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.023 registro(s)

Filtros temática quitar todos

Verbal and Nonverbal Communication Behaviours: COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers

Más información

ISBNs: 978-3-540-76441-0 (impreso) 978-3-540-76442-7 (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 - Educación  


libros Acceso Abierto
Agregar a Mi catálogo

Verbesserung der Prozesskette zur Herstellung mikrostrukturierter Linsen für automobile Scheinwerfer

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: Ingeniería y tecnología - Otras ingenierías y tecnologías - Ingeniería eléctrica, electrónica e informática  


libros Acceso Abierto
Agregar a Mi catálogo

Verbesserungen beim Laserschneiden mit Methoden des maschinellen Lernens

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 físicas - Ingeniería y tecnología - Ingeniería eléctrica, electrónica e informática  


Verification Methodology Manual for SystemVerilog

Más información

ISBNs: 978-0-387-25538-5 (impreso) 978-0-387-25556-9 (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  


Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Más información

ISBNs: 978-3-540-68977-5 (impreso) 978-3-540-69061-0 (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  


Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers

Más información

ISBNs: 978-3-540-43631-7 (impreso) 978-3-540-47813-3 (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 - Medicina básica  


Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Más información

ISBNs: 978-3-540-31139-3 (impreso) 978-3-540-31622-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 - Ciencias físicas - Ingeniería eléctrica, electrónica e informática  


Verified Functional Programming in Agda

Más información

ISBNs: 978-1-970001-27-3 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2016 ACM Digital Library

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


actas de congreso
Agregar a Mi catálogo

Very Large Scale Integration (VLSI-SoC), 2009 17th IFIP International Conference on

Más información

ISBNs: 978-1-4577-0237-2 (impreso)

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

Cobertura temática: Ciencias físicas - Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  


actas de congreso
Agregar a Mi catálogo

Very Large Scale Integration (VLSI-SoC), 2013 IFIP/IEEE 21st International Conference on

Más información

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

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