Llistar Títols

S'han trobat 53 ítems

Llistant ítems des de 0 a 25:

  1  2  3   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 1 juny 2018 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem
out url icon Recercat 5 juny 2018 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
doc icon DUGiDocs setembre 2016 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat 15 febrer 2020 Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem Garcia Oliveras, Marc
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 5 juny 2018 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2011 Anti-Unification for Unranked Terms and Hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs febrer 2014 Anti-unification for unranked terms and hedges Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 setembre 2018 Aplicació per al càlcul de propostes de trasplantament creuat de ronyó amb donant viu considerant fallades de darrera hora Soldevila Sala, Eloi
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 juny 2016 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2010 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 5 juny 2018 An Efficient Nominal Unification Algorithm Levy, Jordi ; Villaret i Ausellé, Mateu
doc icon DUGiDocs setembre 2011 Eina per a generar l’assignació docent d’un centre Vila i Moreno, Adrià
out url icon Recercat Eina per a generar l’assignació docent d’un centre Vila i Moreno, Adrià
doc icon DUGiDocs juny 2017 Entorn de visualització i resolució de puzles tipus Cococrash Toledo Román, José Manuel
doc icon DUGiDocs 2009 Experimental analysis of optimization techniques on the road passenger transportation problem López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu
out url icon Recercat Experimental analysis of optimization techniques on the road passenger transportation problem López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu
out url icon Recercat Fuzzy XPath for the automatic search of fuzzy formulae models Almendros-Jimenez, Jesùs M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
  1  2  3   

Matèries

Autors