Sfoglia per Corso ELABORAZIONE DEI DATI
Base di dati relazionali temporali interoperabilità e gestione di versioni dello schema dottorato di ricerca in ingegneria elettronica ed informatica
1997
Basi di dati ipermediali strumenti per la modellazione dei dati e per l'accesso alle informazioni dottorato di ricerca in ingegneria informatica e automatica tesi di dottorato
1997
Behavioral characterization for multimedia documents dottorato di ricerca in informatica, ciclo 18.
2006
Behavioural patterns and software composition ph. d. thesis
2003
Belief revision in multi-agent systems dottorato di ricerca in sistemi artificiali intelligenti
1998
Blind queries and constraints representing flexibility and time in semistructured data dottorato di ricerca in ingegneria informatica e automatica tesi di dottorato
2003
Bounds and heuristics for packing problems dottorato in ingegneria informatica e dei sistemi tesi di dottorato
2003
Branch-and-price algorithms for partitioning problems dottorato di ricerca in informatica, 18. ciclo ph. d. thesis
2005
Branch-and-price algorithms for vehicle routing problems tesi di dottorato di ricerca
2006
Bridging refutation and search in proposital satisfiability dottorato di ricerca in ingegneria informatica
2001
Building a body of knowledge from families of software empirical studies from statistical analysis to cluster-impact approach for manipulating experimental data using fuzzy sets corso di dottorato di ricerca in informatica e ingegneria dell'automazione, 17. ciclo
2005
Building stochastic Petri net models for the verification of complex software systems
[200
Building stochastic Petri net models for the verification of complex software systems
[200
Calcolabilità distributiva tesi di dottorato di ricerca in informatica
1997
Calcolo parallelo e automi sistolici su alberi binari dottorato di ricerca in informatica di Pisa-Udine
1997
Calcolo parallelo metodologie e tecniche modellistiche e sperimentali per la valutazione delle prestazioni di architetture hardware e software dottorato di ricerca in ingegneria informatica e automatica tesi di dottorato
1998
Un calcolo per oggetti concorrenti progetto e analisi del flusso di controllo dottorato di ricerca in informatica
1997
Calculational derivation of circuits dottorato di ricerca in informatica
1998
Caratterizzazione e calcolo di modelli stabili in programmazione logica disgiuntiva dottorato di ricerca in ingegneria dei sistemi ed informatica tesi di dottorato
1997
CaseLP, a rapid prototing environment for agent-based software dottorato di ricerca in informatica
2001
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile