Su búsqueda recuperó 5 resultados.

Resultados
		Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [y otros.], eds. por International Colloquium on Automata, Languages, and Programming (33 : 2006 : Venecia, Italia) \| Bugliesi, Michele [editor] \| European Association for Theoretical Computer Science. Series Lecture notes in computer science ; 4051-4052Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICALP 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA267 A87 2006, ... Hacer reserva Agregar al carrito (remover)
		Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings / Tarmo Uustalu, ed. por MPC 2006 (8 : (2006 : Kuressaare, Estonia) \| Uustalu, Tarmo [editor] \| Mathematics of Program Construction (8 : 2006 : Kuressaare, Estonia). Series Lecture notes in computer science ; 4014Tipo 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.6 M69 2006. Hacer reserva Agregar al carrito (remover)
		Programming languages and systems : 9th European Symposium on Programming, ESOP'2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'2000 Berlin, Germany, march/april 2000 : proceedings / Gert Smolka, ed. por European Symposium on Programming (9 : 2000 : Berlin, Alemania) \| Smolka, Gert [editor]. Series Lecture notes in computer science ; 1782Tipo 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.6 E87 2000. Hacer reserva Agregar al carrito (remover)
		Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / Roberto Giacobazzi (ed.) por International Static Analysis Symposium (11 : 2004 : Verona, Italia) \| Giacobbe, Giovanni [editor]. Series Lecture notes in computer science ; v. 3148Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: 11th International Symposium, SAS 2004 \| International Symposium, SAS 2004 \| SAS 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2004. Hacer reserva Agregar al carrito (remover)
		Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers / Steve Dunne, Bill Stoddart, eds. por UTP 2006 (2006 : Castillo Walworth, Condado de Durham, Inglaterra) \| Dunne, Steve [editor] \| Stoddart, Bill, 1946- [editor] \| Unifying theories of programming (2006 : Castillo Walworth, Condado de Durham, Inglaterra). Series Lecture notes in computer science ; 4010Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Descripción del editor Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 U86. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Hacer una sugerencia de compra

Universidad Nacional Autónoma de México

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

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

Aviso de Privacidad