Llistar TÃtols
S'han trobat 31 Ãtems
Llistant Ãtems des de 0 a 25:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
|
Aplicación de gestión y web para un criadero-residencia canino. |
Garcia Sánchez, SÃlvia
|
|
juliol 2008 |
Aplicación de gestión y web para un criadero-residencia canino |
Garcia Sánchez, SÃlvia
|
|
|
15 febrer 2020 |
Aplicación de gestión y web para un criadero-residencia canino |
Garcia Sánchez, SÃlvia
|
|
|
|
Desenvolupament d’una biblioteca per a la generació de diagrames vectorials basat en l’entorn grà fic de JAVA2D i aplicació d’aquesta biblioteca per a la implementació d’una eina per al desenvolupament de diagrames d’E/R |
Constantins Esgleyes, Cristina
|
|
|
setembre 2008 |
Desenvolupament d’una biblioteca per a la generació de diagrames vectorials basat en l’entorn grà fic de JAVA2D i aplicació d’aquesta biblioteca per a la implementació d’una eina per al desenvolupament de diagrames d’E/R |
Constantins Esgleyes, Cristina
|
|
|
15 febrer 2020 |
Desenvolupament d’una biblioteca per a la generació de diagrames vectorials basat en l’entorn grà fic de JAVA2D i aplicació d’aquesta biblioteca per a la implementació d’una eina per al desenvolupament de diagrames d’E/R |
Constantins Esgleyes, Cristina
|
|
|
juny 2015 |
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
|
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
|
Intranet corporativa de Miquel Alimentació Grup, S.A. |
RodrÃguez Jiménez, Gabriel
|
|
|
setembre 2008 |
Intranet corporativa de Miquel Alimentació Grup, S.A. |
RodrÃguez Jiménez, Gabriel
|
|
|
15 febrer 2020 |
Intranet corporativa de Miquel Alimentació Grup, S.A. |
RodrÃguez Jiménez, Gabriel
|
|
|
juny 2013 |
Plataforma de resolució de problemes RCPSP utilitzant SMT |
Moreno Oliveras, David
|
|
|
|
Plataforma de resolució de problemes RCPSP utilitzant SMT |
Moreno Oliveras, David
|
|
|
3 juny 2008 |
Prà ctiques en empreses en els estudis d’informà tica: dels convenis de cooperació educativa a les estades en entorns laborals |
Soler i Masó, Josep
; GarcÃa Campos, Rafael
; Marzo i Lázaro, Josep LluÃs
; Suy Franch, Josep
; Thió i Fernández de Henestrosa, Santiago
|
|
|
3 juny 2008 |
Prà ctiques en empreses en els estudis d’informà tica: dels convenis de cooperació educativa a les estades en entorns laborals |
Soler i Masó, Josep
; GarcÃa Campos, Rafael
; Marzo i Lázaro, Josep LluÃs
; Suy Franch, Josep
; Thió i Fernández de Henestrosa, Santiago
|
|
|
setembre 2006 |
Restaural, sistema de gestió de comandes per restaurants |
Solà Fernández, Xavier
|
|
|
|
Restaural, sistema de gestió de comandes per restaurants |
Solà Fernández, Xavier
|
|
|
gener 2022 |
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints |
Bofill Arasa, Miquel
; Coll Caballero, Jordi
; Nightingale, Peter
; Suy Franch, Josep
; Ulrich-Oltean, Felix
; Villaret i Ausellé, Mateu
|
|
|
20 desembre 2012 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
20 desembre 2012 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
|
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|
|
|
15 juliol 2019 |
Scheduling through logic-based tools |
Coll Caballero, Jordi
|
|
|
2009 |
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
|
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
|
|
|
SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
Bofill Arasa, Miquel
; Palahà i Sitges, Miquel
; Suy Franch, Josep
; Villaret i Ausellé, Mateu
|
