Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.629 registro(s)

Filtros temática quitar todos

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Más información

ISBNs: 978-3-540-28372-0 (impreso) 978-3-540-31820-0 (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  


Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Más información

ISBNs: 978-3-540-74590-7 (impreso) 978-3-540-74591-4 (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 - Ciencias físicas - Ciencias de la tierra y ciencias ambientales relacionadas  


revistas Acceso Abierto
Agregar a Mi catálogo

Theoretical and Applied Informatics

Más información

ISSNs 1896-5334 (impreso)

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

Cobertura temática: Matemáticas - Ciencias de la computación e información  


Theoretical Aspects of Computing: ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Más información

ISBNs: 978-3-540-48815-6 (impreso) 978-3-540-48816-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 - Lenguas y literatura  


Theoretical Aspects of Computing: ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Más información

ISBNs: 978-3-540-75290-5 (impreso) 978-3-540-75292-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 - Lenguas y literatura  


Theoretical Aspects of Local Search

Más información

ISBNs: 978-3-540-35853-4 (impreso) 978-3-540-35854-1 (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 - Ciencias físicas  


actas de congreso
Agregar a Mi catálogo

Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium 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: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on

Más información

ISBNs: 978-0-7695-2856-4 (impreso)

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

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on

Más información

ISBNs: 978-0-7695-3249-3 (impreso)

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

Cobertura temática: Ciencias de la computación e información  


actas de congreso
Agregar a Mi catálogo

Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on

Más información

ISBNs: 978-0-7695-3757-3 (impreso)

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

Cobertura temática: Ciencias de la computación e información