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 4 a 23 di 724
Istituto Anno di pubblicazione Titolo Autore file(s)
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 -
Università degli Studi di Genova 1999 A trainable system for event detection and recognition dottorato di ricerca in informatica -
Università degli Studi di Pavia 2001 A wavelet framework for browsing and indexing in multimedia image databases dottorato di ricerca in ingegneria elettronica ed informatica -
Università degli Studi di Verona 2005 Abstract non-interference an abstract interpretation-based approach to secure information flow -
Mostrati risultati da 4 a 23 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