TEST - Catálogo BURRF		    

Su búsqueda retornó 3 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Algorithmic decision theory : 4th international conference, adt 2015, lexington, ky, usa, september 27-30, 2015, proceedings / edited by Toby Walsh. por
  • Walsh, Toby [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9346
Edición: 1st ed. 2015.
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
SAT 2005 : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh. por
  • Giunchiglia, Enrico [editor.]
  • Walsh, Toby [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2006
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. por
  • Bacchus, Fahiem [editor.]
  • Walsh, Toby [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3569
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha