Browse by Title

137 items found

Showing titles from 125 to 137:

  1  2  3  4  5  6   
FormatDateTitleAuthor
FormatDateTitleAuthor
doc icon DUGiDocs 2014 March 27 Uso de algoritmos de enrutamiento para el cálculo de indicadores de sostenibilidad Pijoan Lamas, Ander ; Borges, Cruz E. ; Penya, Yoseba K. ; Alonso-Vicario, Ainhoa
doc icon DUGiDocs 2013 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 2018 June 1 A Variant of Higher-Order Anti-Unification
out url icon Recercat 2018 June 5 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat Vertical edge-based mapping using range-augmented omnidirectional vision sensor Bacca Cortés, Eval Bladimir ; Cufí i Solé, Xavier ; Salvi, Joaquim
doc icon DUGiDocs Vertical edge-based mapping using range-augmented omnidirectional vision sensor Bacca Cortés, Eval Bladimir ; Cufí i Solé, Xavier ; Salvi, Joaquim
doc icon DUGiDocs 2001 View-dependent information theory quality measures for pixel sampling and scene discretization in flatland Rigau Vilalta, Jaume ; Feixas Feixas, Miquel ; Bekaert, Philippe ; Sbert, Mateu
out url icon Recercat View-dependent information theory quality measures for pixel sampling and scene discretization in flatland Rigau Vilalta, Jaume ; Feixas Feixas, Miquel ; Bekaert, Philippe ; Sbert, Mateu
out url icon Recercat A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; RodrĂ­guez Carbonell, Enric ; Rubio, Albert
doc icon DUGiDocs 2008 A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; RodrĂ­guez Carbonell, Enric ; Rubio, Albert
  1  2  3  4  5  6   

Subjects

Authors