Sfoglia per Corso ELABORAZIONE DEI DATI
SAMIR scenographic agents mimic intelligent reasoning tesi sottomessa in parziale soddisfacimento dei requisiti per il conseguimento del titolo di dottore di ricerca
2004
SAT-based decision procedures for knowledge representation and formal verification a dissertation in electronics and computer science engineering
2001
SAT-based model-checking of security protocols a dissertation submitted for the degree of doctor of philosophy in electronics and computer science engineering under a joint programme between Università degli studi di Genova and the University of Edimburgh
2006
Scheduling algorithms for bag-of-tasks applications on fault-prone desktop grids dottorato di ricerca in informatica, ciclo 18.
2006
Scheduling of hard real time messages in single-hop communication networks dottorato di ricerca in informatica
1998
Schema versioning in object-oriented databases dottorato di ricerca in ingegneria elettronica ed informatica
Scientific visualization based on simplicial complexes dottorato di ricerca in informatica
1998
Searching algorithms and data structures for combinatorial, temporal and probabilistic databases tesi di dottorato
2003
Searching and retrieving in content-based repositories of formal mathematical knowledge dottorato di ricerca in informatica
2003
Secure and efficient group communication in wide and local area networks dottorato di ricerca in informatica
1999
Secure and reliable telecommunication service platforms for next generation networks dottorato in ingegneria elettronica ed informatica
2006
Secure and selective dissemination of XML documents tesi di dottorato di ricerca
2004
Security and performance analyses in distributed systems dottorato di ricerca in informatica
2002
Security and performance analyses in distributed systems dottorato di ricerca in informatica
2002
Security issues concerning cryptographic protocols
2004
Security models for mobile agent systems dottorato di ricerca in ingegneria elettronica e informatica
Security, privacy and authentication in shared access to restricted data dottorato di ricerca in informatica, ciclo 18. ciclo
2006
Security, probability and priority in the tuple-space coordination model
2004
SEDimenTO (Semantic environment for distributed management of topic ontologies) un ambiente per la condivisione di conoscenze locali
2006
Segment-based distances and similarities in genomic sequences ph. d. thesis
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