Llistar Títols

S'han trobat 158 ítems

Llistant ítems des de 150 a 158:

  2  3  4  5  6  7   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat 5 juny 2018 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 2013 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
doc icon DUGiDocs 15 maig 2019 Word-processing-based routing for Cayley graphs Aguirre Guerrero, Daniela
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
  2  3  4  5  6  7   

Matèries

Autors