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): [3782] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.621 a 3.640 di 3.782
Titolo Data di pubblicazione Autore(i) File
Documentazione e autodocumentazione nella cultura certosina del Seicento: il caso lombardo fra Matteo Valerio e Daniele Crespi 1-gen-2007 Spiriti, Andrea
A finite domain semantics for executing temporal logic specifications 1-gen-1998 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
Vallisneri e l’Arcadia 1-gen-2008 Spiriti, Andrea
Luca Cambiaso e la pittura milanese di pieno Cinquecento e di primo Seicento: problemi e ipotesi 1-gen-2008 Spiriti, Andrea
L’immagine del palazzo: scelte iconografiche e iconologiche di Giovanni Battista Giovio 1-gen-2008 Spiriti, Andrea
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
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.
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
A formal framework for ASTRAL inter-level proof obbligations 1-gen-1995 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for ASTRAL intra-level proof obligations 1-gen-1993 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
Uno strumento di supporto al riuso del software 1-gen-1998 COEN PORISINI, Alberto; DE PAOLI, F.
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.
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.
Specification and verification of hardware systems using temporal logic language TRIO 1-gen-1991 COEN PORISINI, Alberto; Morzenti, A.; Sciuto, D.
SESADA: an environment supporting software specialization 1-gen-1991 COEN PORISINI, Alberto; DE PAOLI, F.
Symbad: a Symbolic Executor of Sequential Ada Programs 1-gen-1990 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.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.621 a 3.640 di 3.782
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 Convegno3782
Autore
  • RADA, ELENA CRISTINA209
  • FERRARI, ELENA176
  • LAVAZZA, LUIGI ANTONIO147
  • CLERICI, MATTEO139
  • RAGAZZI, MARCO139
  • CARMINATI, BARBARA106
  • MORASCA, SANDRO98
  • SIENI, ELISABETTA95
  • BINAGHI, ELISABETTA94
  • GALLO, IGNAZIO90
Data di pubblicazione
  • In corso di stampa7
  • 2020 - 2026536
  • 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-WS27
  • Optica Publishing Group (formerly...27
  • WITPress23
  • Springer Science and Business Med...22
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 SCIENCE66
  • CEUR WORKSHOP PROCEEDINGS53
  • Optics InfoBase Conference Papers38
  • PROCEEDINGS OF SPIE, THE INTERNAT...29
  • LECTURE NOTES IN ARTIFICIAL INTEL...25
  • WIT TRANSACTIONS ON ECOLOGY AND T...17
  • 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
  • eng1304
  • ita362
  • fre16
  • spa8
  • ger5
  • rus3
  • gre2
  • und2
  • enm1
  • mul1
Accesso al fulltext
  • no fulltext3344
  • reserved291
  • open137
  • restricted10