Su búsqueda recuperó 9 resultados.

Resultados
		FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) \| Misra, Jayadev [editor] \| Nipkow, Tobias, 1958- [editor] \| Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 \| Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2006. Agregar al carrito (remover)
		Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise, eds. por FATES 2005 (5 : 2005 : Edimburgo, Escocia) \| Grieskamp, Wolfgang, 1960- [editor] \| Weise, Carsten [editor]. Series Lecture notes in computer science ; 3997Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FATES 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 F37 2005. Agregar al carrito (remover)
		Formal methods applied to complex systems : bimplementation of the B Method / edited by Jean-Louis Boulanger por Boulanger, Jean-Louis [editor]. Series Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Hoboken, NJ : ISTE ; Wiley, 2014Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9B22 F67. Agregar al carrito (remover)
		Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures / Frank S. de Boer ... [y otros.], eds. por FMCO 2005 (2005 : Amsterdam, Holanda) \| Boer, Frank S. de [editor]. Series Lecture notes in computer science ; 4111Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: FMCO 2005.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 F66 2005. Agregar al carrito (remover)
		Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020) / edited by Boyan Brodaric and Fabian Neuhaus por FOIS (Conferencia) (11 : 2020 : Bolzano, Italia) \| Brodaric, Boyan [editor] \| Neuhaus, Fabian [editor]. Series Frontiers in artificial intelligence and applications ; 330Tipo de material: Texto; Forma literaria: No es ficción Editor: Amsterdam : IOS Press [2020]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 F65 2020. Agregar al carrito (remover)
		Formal ontology in information systems : proceedings of the Twelfth International Conference (FOIS 2021) / edited by Fabian Neuhaus and Boyan Brodaric por FOIS (Conferencia) (12 : 2021 : Bolzano, Italia) \| Neuhaus, Fabian [editor] \| Brodaric, Boyan [editor]. Series Frontiers in artificial intelligence and applications ; 344Tipo de material: Texto; Forma literaria: No es ficción Editor: Amsterdam : IOS Press [2022]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 F65 2021. Agregar al carrito (remover)
		Formal ontology in information systems : proceedings of the Eighth International Conference (FOIS 2014) / edited by Pawel Garbacz and Oliver Kutz por FOIS (Conference) (8 : 2014 : Rio de Janeiro, Brasil) \| Garbacz, Pawel [editor] \| Kutz, Oliver [editor]. Series Frontiers in artificial intelligence and applications ; v. 267Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : IOS Press, [2014]Otro título: FOIS 2014.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76E95 F65 2014. Agregar al carrito (remover)
		Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk por Girault, Claude [autor] \| Valk, Rüdiger, coaut. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 G57. Agregar al carrito (remover)
		A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA / Petr Krysl por Krysl, Petr [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Jersey : World Scientific, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9F67 K79. Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad