Su búsqueda recuperó 2 resultados.

Resultados
		Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS'2000 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, march/april 2000 : proceedings / Susanne Graf, Michael Schwartzbach, eds. por TACAS'2000 (6 : 2000 : Berlin, Alemania) \| Graf, Susanne [editor] \| Schwartzbach. Michael [editor]. Series Lecture notes in computer science ; v. 1785Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 I58 2000. Hacer reserva Agregar al carrito (remover)
		Verification study of bathystrophic storm surge model / by -George Pararas-Carayannis. por Pararas-Carayannis, George. Series Technical memorandum ; no. 50 / Coastal Engineering Researc-h CenterTipo de material: Texto Detalles de publicación: Fort Belvoir, Virginia : Coastal Engineering Research Center Disponibilidad: No disponible para préstamo a domicilio:Folletos: Estantería cerrada (1). Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”