Su búsqueda retornó 2 resultados.

Resultados
	1.	Semantics with Applications: An Appetizer / by Hanne Riis Nielson, Flemming Nielson. por Nielson, Hanne Riis [autor] Nielson, Flemming [autor] SpringerLink (Servicio en línea) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2007 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé. por Nielson, Hanne Riis [editor.] Filé, Gilberto [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 4634 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Refinar su búsqueda