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

Formal Ontology and Conceptual Realism

Más información

ISBNs: 978-1-4020-6203-2 (impreso) 978-1-4020-6204-9 (en línea)

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

Cobertura temática: Filosofía, ética y religión  


Formal Refinement for Operating System Kernels

Más información

ISBNs: 978-1-84628-966-8 (impreso) 978-1-84628-967-5 (en línea)

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

Cobertura temática: Matemáticas - Ciencias de la computación e información - Medios de comunicación - Humanidades y artes  


Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Más información

ISBNs: 978-3-540-28701-8 (impreso) 978-3-540-31903-0 (en línea)

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

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


Formal Techniques for Networked and Distributed Systems: FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Más información

ISBNs: 978-3-540-46219-4 (impreso) 978-3-540-46220-0 (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  


Formal Techniques for Networked and Distributed Systems: FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Más información

ISBNs: 978-3-540-29189-3 (impreso) 978-3-540-32084-5 (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 - Ciencias físicas  


Formal Techniques for Networked and Distributed Systems: FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Más información

ISBNs: 978-3-540-73195-5 (impreso) 978-3-540-73196-2 (en línea)

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

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


Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes

Más información
Autores/as: Catarina Dutilh Novaes

ISBNs: 978-1-4020-5852-3 (impreso) 978-1-4020-5853-0 (en línea)

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

Cobertura temática: Filosofía, ética y religión  


libros Acceso Abierto
Agregar a Mi catálogo

Formalizing the Shadow Economy in Serbia: Formalizing the Shadow Economy in Serbia

Más información

ISBNs: 978-3-319-13436-9 (impreso) 978-3-319-13437-6 (en línea)

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

Cobertura temática: Economía y negocios - Otras humanidades  


Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets

Más información

ISBNs: 978-3-7908-1552-8 (impreso) 978-3-7908-1615-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 tierra y ciencias ambientales relacionadas - Ingenieria ambiental - Agricultura, silvicultura y pesca - Economía y negocios - Geografía social y económica  


Formationen der Stadt

Más información

ISBNs: 978-3-7643-7152-4 (impreso) 978-3-7643-7676-5 (en línea)

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