Su búsqueda obtuvo 2 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 17Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computer Applications for Modeling, Simulation, and Automobile [Recurso electrónico] : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Â¿Øªlâ{uF629}zak, Hojjat Adeli. por Kim, Tai-hoon \| Ramos, Carlos \| Abawajy, Jemal \| Kang, Byeong-Ho \| Å{uC119}zak, Dominik \| Adeli, Hojjat. Series Communications in Computer and Information Science ; 341Tipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda