Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 1.413 registro(s)

Filtros plataforma temática quitar todos

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Más información

ISBNs: 978-3-540-20593-7 (impreso) 978-3-540-26893-2 (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 Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

Más información

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


Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Más información

ISBNs: 978-3-540-75220-2 (impreso) 978-3-540-75221-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 - Ciencias físicas  


Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Más información

ISBNs: 978-3-540-74791-8 (impreso) 978-3-540-74792-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 - Ciencias físicas  


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  


Foundations of Ajax

Más información

ISBNs: 978-1-59059-582-4 (impreso) 978-1-4302-0082-6 (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 - Ciencias físicas  


Foundations of Java for ABAP Programmers

Más información

ISBNs: 978-1-59059-625-8 (impreso) 978-1-4302-0140-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 - Ciencias físicas  


libros Acceso Abierto
Agregar a Mi catálogo

Foundations of Quantum Theory: From Classical Concepts to Operator Algebras

Más información

ISBNs: 978-3-319-51776-6 (impreso) 978-3-319-51777-3 (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 físicas  


Fourier Transformation for Pedestrians

Más información

ISBNs: 978-3-540-23165-3 (impreso) 978-3-540-31108-9 (en línea)

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

Cobertura temática: Ciencias físicas  


Fragmentation of Rings and Shells: The Legacy of N.F. Mott

Más información

ISBNs: 978-3-540-27144-4 (impreso) 978-3-540-27145-1 (en línea)

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

Cobertura temática: Ciencias físicas