Su búsqueda recuperó 3 resultados.

Resultados
		Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona Spain, March 29 -April 2, 2004 : proceedings / David Schmidt, ed. por European Symposium on Programming (13 : 2004 : Barcelona, España) \| Schmidt, David A, 1953- [editor] \| ETAPS 2004 (2004 : Barcelona , España). Series Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 E87 2004. Agregar al carrito (remover)
		Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi, ed. por International Static Analysis Symposium (13 : 2006 : Seúl, Corea) \| Yi, Kwangkeun [editor] \| SAS (13 : 2006 : Seúl, Corea). Series Lecture notes in computer science ; 4134Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAS 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 I578 2006. Agregar al carrito (remover)
		Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning, ed. por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) \| Pfenning, Frank [editor]. Series Lecture notes in computer science ; 4098Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: RTA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 I58 2006. Agregar al carrito (remover)