Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 12.329 registro(s)

Filtros plataforma 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  


Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

Más información

ISBNs: 978-3-540-72433-9 (impreso) 978-3-540-72434-6 (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  


Theoretical and Applied Climatology

Más información

ISSNs 0177-798X (impreso) 1434-4483 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No detectada desde mar. 1997 / hasta dic. 2023 SpringerLink

Cobertura temática: Ciencias de la tierra y ciencias ambientales relacionadas  


Theoretical and Applied Genetics

Más información

ISSNs 0040-5752 (impreso) 1432-2242 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No detectada desde ene. 1997 / hasta dic. 2023 SpringerLink

Cobertura temática: Ciencias médicas y de la salud - Agricultura, silvicultura y pesca  


Theoretical and Experimental DNA Computation

Más información

ISBNs: 978-3-540-65773-6 (impreso) 978-3-540-28131-3 (en línea)

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

Cobertura temática: Ciencias químicas  


Theoretical and Numerical Unsaturated Soil Mechanics

Más información

ISBNs: 978-3-540-69875-3 (impreso) 978-3-540-69876-0 (en línea)

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

Cobertura temática: Ingeniería mecánica - Educación  


libros Acceso Abierto
Agregar a Mi catálogo

Theoretical and Practical Advances in Computer-based Educational Measurement

Más información

ISBNs: 978-3-030-18479-7 (impreso) 978-3-030-18480-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2019 SpringerLink acceso abierto

Cobertura temática: Educación  


Theoretical and Quantum Mechanics: Fundamentals for Chemists

Más información

ISBNs: 978-1-4020-3365-0 (impreso) 978-1-4020-3688-0 (en línea)

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

Cobertura temática: Ciencias químicas  


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