TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por
  • Kroening, Daniel [autor]
  • Strichman, Ofer [autor]
  • SpringerLink (Servicio en línea)
Series Texts in Theoretical Computer Science, An Eatcs Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Theory and Applications of Satisfiability Testing – SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. por
  • Strichman, Ofer [editor.]
  • Szeider, Stefan [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6175
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
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