Su búsqueda recuperó 3 resultados.

Resultados
		Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, eds. por Goguen, Joseph \| Futatsugi, Kokichi [editor] \| Jouannaud, Jean-Pierre \| Meseguer, José [editor]. Series Lecture notes in computer science ; 4060Tipo de material: Texto; Formato: impreso festschrift ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA150 A5397, ... Agregar al carrito (remover)
		Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006 : proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, (eds.) por Workshop on Computer Algebra in Scientific Computing (9 : 2006 : Moldova) \| Ganzha, V. G, 1956- [editor] \| Mayr, Ernst [editor] \| Vorozhtsov, E. V. (Evgenii Vasilevich), 1946- [editor]. Series Lecture notes in computer science ; 4194Tipo 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: Q155.7E4 W67 2006. Agregar al carrito (remover)
		Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes, eds. por SAT 2006 (2006 : Seattle, Washington) \| Biere, Armin [editor] \| Gomes, Carla [editor]. Series Lecture notes in computer science ; 4121Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: SAT 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.3 S35 2006. Agregar al carrito (remover)