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

SAT-Based Scalable Formal Verification Solutions

Más información

ISBNs: 978-0-387-69166-4 (impreso) 978-0-387-69167-1 (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  


libros Acceso Abierto
Agregar a Mi catálogo

Satellite Earth Observations and Their Impact on Society and Policy

Más información

ISBNs: 978-981-10-3712-2 (impreso) 978-981-10-3713-9 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ciencias de la tierra y ciencias ambientales relacionadas - Ingeniería y tecnología - Ingenieria ambiental - Derecho - Geografía social y económica  


Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-31780-7 (impreso) 978-3-540-31781-4 (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 - Sociología - Ciencia política  


revistas Acceso Abierto
Agregar a Mi catálogo

Satellite Navigation

Más información

ISSNs 2662-9291 (impreso) 2662-1363 (en línea)

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

Cobertura temática: Ingeniería y tecnología  


Satellites: Orbits and Missions

Más información

ISBNs: 978-2-287-21317-5 (impreso) 978-2-287-27469-5 (en línea)

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

Cobertura temática: Ciencias físicas  


Satisfying Safety Goals by Probabilistic Risk Assessment

Más información
Autores/as: Hiromitsu Kumamoto

ISBNs: 978-1-84628-681-0 (impreso) 978-1-84628-682-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 mecánica - Economía y negocios  


Saturn and How to Observe It

Más información

ISBNs: 978-1-85233-887-9 (impreso) 978-1-84628-045-0 (en línea)

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

Cobertura temática: Ciencias físicas  


libros Acceso Abierto
Agregar a Mi catálogo

Saving for Development: How Latin America and the Caribbean Can Save More and Better

Más información

ISBNs: 978-1-349-94928-1 (impreso) 978-1-349-94929-8 (en línea)

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

Cobertura temática: Economía y negocios  


Saving Human Lives: Lessons in Management Ethics

Más información

ISBNs: 978-1-4020-2905-9 (impreso) 978-1-4020-2980-6 (en línea)

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

Cobertura temática: Economía y negocios - Derecho - Filosofía, ética y religión  


Scalable Hardware Verification with Symbolic Simulation

Más información

ISBNs: 978-0-387-24411-2 (impreso) 978-0-387-29906-8 (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 - Artes