Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.620 registro(s)

Filtros temática quitar todos
libros Acceso Abierto
Agregar a Mi catálogo

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

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 de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Certifying Software Component Performance Specifications

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 de la computación e información  

libros Acceso Abierto
Agregar a Mi catálogo

Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber–Physical Systems

Más información

978-3-03943-021-5 (en línea)

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 de la computación e información - Ingeniería y tecnología - Artes  

libros Acceso Abierto
Agregar a Mi catálogo

Challenges and Opportunities in Applied System Innovation

Más información

978-3-0365-4402-1 (en línea)

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 de la computación e información - Ingeniería y tecnología - Ingeniería civil - Ingenieria ambiental  

libros
Agregar a Mi catálogo

Challenges at the Bank for International Settlements: An Economist's (Re)View

Más información

ISBNs: 978-3-540-72789-7 (impreso) 978-3-540-72790-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 - Economía y negocios  

libros
Agregar a Mi catálogo

Challenges in Ad Hoc Networking: Fourth Annual Mediterranean Ad Hoc Networking Workshop, June 21-24, 2005, Île de Porquerolles, France

Más información

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

libros Acceso Abierto
Agregar a Mi catálogo

Challenges in Cybersecurity and Privacy: the European Research Landscape

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 de la computación e información  

libros
Agregar a Mi catálogo

Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government: 5th IFIP Conference e-Commerce, e-Business, and e-Government (I3E’2005) , October 28-30, 2005, Poznan, Poland

Más información

ISBNs: 978-0-387-28753-9 (impreso) 978-0-387-29773-6 (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 - Economía y negocios  

libros Acceso Abierto
Agregar a Mi catálogo

Chaos Bound: Orderly Disorder in Contemporary Literature and Science

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 de la computación e información - Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Character Recognition

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 de la computación e información