TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos. por
  • Stützle, Thomas [editor.]
  • Birattari, Mauro [editor.]
  • Hoos, Holger H [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5752
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.

2.
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. por
  • Hoos, Holger H [editor.]
  • Mitchell, David G [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3542
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.

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