Llistar Títols

S'han trobat 138 ítems

Llistant ítems des de 125 a 138:

  1  2  3  4  5  6   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2012 Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 gener 2013 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs setembre 2023 Statistics for Data Science (using R) Palarea Albaladejo, Javier
doc icon DUGiDocs juliol 2007 Timetable database restructuring Noguera García, Patrícia
out url icon Recercat Timetable database restructuring Noguera García, Patrícia
doc icon DUGiDocs juny 2003 Traductor de pseudocodi a Java Royán Salvatella, Carles
out url icon Recercat Traductor de pseudocodi a Java Royán Salvatella, Carles
media icon MDX Ús de les enquestes per facilitar la gestió de l’assignatura Termodinàmica aplicada Montoro Moreno, Lino
media icon DUGiMedia 25 gener 2012 Ús de les enquestes per facilitar la gestió de l’assignatura Termodinàmica aplicada Montoro Moreno, Lino
doc icon DUGiDocs juny 2010 Ús de qüestionaris en la docència d’ecologia i la seva anàlisi mitjançant la plataforma Moodle Zamora Hernández, Lluís ; Benejam Vidal, Lluís
doc icon MDX juny 2010 Ús de qüestionaris en la docència d’ecologia i la seva anàlisi mitjançant la plataforma Moodle Zamora Hernández, Lluís ; Benejam Vidal, Lluís
  1  2  3  4  5  6   

Matèries

Autors