Sfoglia per Corso ELABORAZIONE DEI DATI
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
Categories symmetry, n_dimensional levels and applications dottorato di ricerca in informatica thesis
1998
Causality and information in quantum theory
2004
Causality and information in quantum theory
2004
Cellular automata models for complex system simulations parallel implementation for fluid dynamic models dottorato di ricerca in informatica
2003
Certified abstract non-interference object-oriented code validation for information flow security dottorato di ricerca in informatica
2006
Certified reasoning on real numbers and objects in co-inductive type theory ph. d. thesis
2003
Charmy a framework for software architecture specification and analysis
2005
Clustering methods for spatio-temporal data ph. d. thesis
2002
Coast estimation models for software maintenance processes dottorato in ingegneria dell'informazione, 16. ciclo tesi di dottorato
2004
Code analysis in support to software maintenance dottorato di ricerca in ingegneria informatica ed elettronica industriali
1998
Coding and robust delivery of MPEG video streams over packet networks corso di dottorato in ingegneria informatica e dei sistemi tesi di dottorato
2003
Coding and robust delivery of MPEG video streams over packet networks corso di dottorato in ingegneria informatica e dei sistemi tesi di dottorato
2003
Combinatoria su parole bidimensionali dottorato di ricerca in informatica
2000
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