Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | Rubio, Albert | 0 - 3


Llistar Títols per Autor "Rubio, Albert"

S'han trobat 3 ítems

Llistant ítems des de 0 a 3:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs Resource Analysis driven by (Conditional) Termination Proofs Albert, Elvira ; Bofill Arasa, Miquel ; Borralleras, Cristina ; Martín-Martín, Enrique ; Rubio, Albert
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   

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/328576e5a66a7703b9bfd9db47c1a91c_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2