IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Relazione (in Volume): [3798] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.641 a 3.660 di 3.798
Titolo Data di pubblicazione Autore(i) File
The composability of ASTRAL specifications 1-gen-1993 COEN PORISINI, Alberto; Kemmerer, R. A.
Artisti e architetti nella Milano del Seicento: carriere e guadagni 1-gen-2007 Spiriti, Andrea
A formal framework for ASTRAL intra-level proof obligations 1-gen-1993 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
The ESSE project: supporting object-oriented database schema analysis and evolution. Overview and progress report 1-gen-1993 Cattaneo, F.; COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
L’immagine del palazzo: scelte iconografiche e iconologiche di Giovanni Battista Giovio 1-gen-2008 Spiriti, Andrea
A formal framework for ASTRAL inter-level proof obbligations 1-gen-1995 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
La consorteria Arese produttrice e consumatrice d’iconografie. Contributo alla politica figurativa nello Stato di Milano in età spagnola e austriaca 1-gen-2008 Spiriti, Andrea
Hardware specification using the assertion language ASTRAL 1-gen-1991 Buonanno, G.; COEN PORISINI, Alberto; Fornaciari, W.
The ESSE project: an overview 1-gen-1992 COEN PORISINI, Alberto; Lavazza, LUIGI ANTONIO; Zicari, R.
A tool for the automatic analysis od sequential and parallel communication among protocol entities 1-gen-1989 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
Hardware specification with the temporal logic TRIO 1-gen-1990 COEN PORISINI, Alberto; Morzenti, A.; Sciuto, D.
Uno strumento di supporto al riuso del software 1-gen-1998 COEN PORISINI, Alberto; DE PAOLI, F.
Specification and verification of hardware systems using temporal logic language TRIO 1-gen-1991 COEN PORISINI, Alberto; Morzenti, A.; Sciuto, D.
Symbad: a Symbolic Executor of Sequential Ada Programs 1-gen-1990 COEN PORISINI, Alberto; DE PAOLI, F.
SESADA: an environment supporting software specialization 1-gen-1991 COEN PORISINI, Alberto; DE PAOLI, F.
High Level Design of Supervision and Control Systems using CORBA: An Example 1-gen-1998 COEN PORISINI, Alberto; Gatti, D.; Mariani, D.
Flusso turbolento indotto da un getto verticale piano immesso dal fondo di un recipiente a pelo libero di modesta profondità 1-gen-2004 Espa, Paolo; Sibilla, S.
On the inclusion problem for unambiguous rational trace languages 1-gen-2000 Massazza, Paolo
SPH numerical simulation of local scour downstream of an apron 1-gen-2008 Sibilla, S; Espa, Paolo
Misura della concentrazione di solidi sospesi nelle fluitazioni di sedimento da bacini artificiali 1-gen-2008 Espa, Paolo; Castelli, E; Compare, S; Crosa, Giuseppe; Gentili, G.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.641 a 3.660 di 3.798
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

Scopri
Tipologia
  • Atti di Convegno3798
Autore
  • RADA, ELENA CRISTINA212
  • FERRARI, ELENA176
  • LAVAZZA, LUIGI ANTONIO148
  • CLERICI, MATTEO139
  • RAGAZZI, MARCO139
  • CARMINATI, BARBARA106
  • MORASCA, SANDRO99
  • SIENI, ELISABETTA95
  • BINAGHI, ELISABETTA94
  • GALLO, IGNAZIO91
Data di pubblicazione
  • In corso di stampa7
  • 2020 - 2027552
  • 2010 - 20191597
  • 2000 - 20091063
  • 1990 - 1999376
  • 1980 - 1989178
  • 1971 - 197925
Editore
  • Institute of Electrical and Elect...102
  • Springer93
  • IEEE Computer Society78
  • IEEE72
  • ACM50
  • Springer Verlag45
  • CEUR-WS28
  • Optica Publishing Group (formerly...27
  • WITPress25
  • Springer Science and Business Med...23
Rivista
  • GIORNALE ITALIANO DI MEDICINA DEL...3
  • ACM INTERNATIONAL CONFERENCE PROC...1
  • CLINICAL TOXICOLOGY1
  • IEEE TRANSACTIONS ON NEURAL SYSTE...1
  • INTERNATIONAL JOURNAL OF ENERGY P...1
  • JAHRBUCH FÜR INTERNATIONALE GERMA...1
  • LECTURE NOTES IN COMPUTER SCIENCE1
  • NEUROCOMPUTING1
  • RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE68
  • CEUR WORKSHOP PROCEEDINGS54
  • Optics InfoBase Conference Papers38
  • PROCEEDINGS OF SPIE, THE INTERNAT...29
  • LECTURE NOTES IN ARTIFICIAL INTEL...25
  • WIT TRANSACTIONS ON ECOLOGY AND T...19
  • AIP CONFERENCE PROCEEDINGS13
  • WIT TRANSACTIONS ON ECOLOGY AND T...12
  • INTERNATIONAL ASTRONAUTICAL CONGR...8
  • LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
  • MSW40
  • Computer Networks and Communications22
  • bio-drying21
  • Physics and Astronomy (all)21
  • Electrical and Electronic Enginee...20
  • Computer Science (all)18
  • Nuclear and High Energy Physics18
  • SETI18
  • Software18
  • selective collection17
Lingua
  • eng1314
  • ita362
  • fre16
  • spa8
  • ger5
  • rus3
  • gre2
  • und2
  • enm1
  • mul1
Accesso al fulltext
  • no fulltext3358
  • reserved292
  • open138
  • restricted10