Su búsqueda recuperó 86 resultados.

Resultados
		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)
		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)
		Theory, practice and techniques in algorithms / authored and edited by 3G E-learning por 3G E-learning (Firma comercial) [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York, NY : 3G E-learning, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A43 T44. Agregar al carrito (remover)
		Trends in algorithms research / editor, J. Walker por Walker, J [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New Rochelle, New York : Magnum Publishing, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9A43 T74, ... Agregar al carrito (remover)
		Verificación formal de algoritmos : ejercicios resueltos Esther Lidia Silva Ramírez, Manuel López Coello por Silva Ramírez, Esther Lidia [autor] \| López Coello, Manuel [autor]. Series Manuales de ingenieria y arquitecturaTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cadiz : Universidad de Cadiz, Servicio de Publicaciones, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.58 S535. Agregar al carrito (remover)
		What algorithms want : imagination in the age of computing / Ed Finn por Finn, Ed, 1980- [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : MIT Press, [2017]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: HM851 F53. Agregar al carrito (remover)