UNITesi

Sfoglia per Corso ELABORAZIONE DEI DATI

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 20 di 724
Istituto Anno di pubblicazione Titolo Autore file(s)
BNCF 2005 16. ciclo del dottorato di ricerca in ingegneria dell'informazione Metodologie ad agenti autonomi per la gestione operativa della produzione su macchine parallele -
BNCF 2005 16. ciclo0 del dottorato di ricerca in geomatica e sistemi informativi territoriali Confronto delle diverse metodologie di misura di tipo geodetico e dei metodi di calcolo del geoide -
Università degli Studi di Milano 1999 3-ontologi an integral support for cooperative awareness -
Università degli Studi di Roma La Sapienza 2004 A categorical approach to modularization of graph transformation systems using refinements -
Politecnico di Milano 2001 A co-design approach to software power estimation for embedded systems dottorato di ricerca in ingegneria informatica e automatica -
Università degli Studi di Torino 1998 A coevolutionary distributed approach to learning classification programs dottorato di ricerca in informatica -
Università degli Studi di Genova 1999 A communication system for efficient parallel processing on clusters of personal computers theses series -
Alma Mater Studiorum - Università di Bologna 1998 A compositional algebra for data access and user interaction theoretical framework and implementation architecture -
Alma Mater Studiorum - Università di Bologna 2000 A coordination language and a coordination architecture for Internet computing dottorato di ricerca in informatica -
Università degli Studi di Pavia A direct conversion receiver front-end for UMTS in 0.18µm CMOS part 1.: LNA and VGA -
Università degli Studi di Milano 2000 A general framework for monitoring and control systems dottorato di ricerca in informatica -
Università degli Studi di Milano 2004 A logic framework for the analysis of access control models -
Università degli Studi di Genova 2002 A logic-based approach to model checking of parameterized and infinite-state systems -
Università degli Studi di Siena 2002 A logical characterization of the intersection type theory dottorato di ricerca in logica matematica e informatica teorica -
Alma Mater Studiorum - Università di Bologna 1998 A methodology for the specification of Java components and architectures dottorato di ricerca in informatica -
Università degli Studi di Milano 2002 A model for molecular computing membrane systems -
Università degli Studi di Bari 2000 A neurofuzzy methodology for predictive modeling -
Università degli Studi di Bari 2000 A new prototype of a bank-check processing system -
Università Politecnica delle Marche - Ancona 1999 A rule based language for web data management dottorato di ricerca in sistemi artificiali intelligenti -
Università degli Studi di Napoli Federico II 1998 A system for computer aided diagnosis of digital mammography model, design and implementation -
Mostrati risultati da 1 a 20 di 724
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