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.701 a 3.720 di 3.798
Titolo Data di pubblicazione Autore(i) File
Trattamento anaerobico e recupero energetico dalla frazione organica umida dei rifiuti raccolti per via differenziata 1-gen-2008 Torretta, Vincenzo; Conti, Fabio; Bini, P; Urbini, Giordano
Approccio metodologico per la tutela delle risorse idriche naturali: il caso del Rio Pojuca 1-gen-2007 Torretta, Vincenzo; Vendegna, V; Camargo, L; Souza, C.
On the last terms of Drake Equation: the problem of energy sources and the “Rare Earth hypothesis” 1-gen-2001 Musso, Paolo
Chaos and complexity: philosophical implications 1-gen-2000 Musso, Paolo
On the last terms of Drake Equation: the problem of energy sources 1-gen-2001 Musso, Paolo
Ten years of chest X-ray screening and surgical treatment of lung cancer in Varese. 1-gen-2008 Dominioni, Lorenzo; Imperatori, ANDREA SELENITO
La cauzione come misura cautelare nel giudizio amministrativo - Testo della comunicazione al XXXI Convegno di Varenna del 19-21 settembre 1985 su "Processo amministrativo: quadro problematico e linee di evoluzione (contributo alle iniziative legislative in corso)" 1-gen-1988 Sica, Marco
Defuzzifying Formulas in Goedel Logic Through Finitely Additive Measures 1-gen-2008 Aguzzoli, S; Gerla, Brunella; Marra, V.
Embedding Gödel propositional logic into Prior's tense logic 1-gen-2008 Aguzzoli, S; Gerla, Brunella; Marra, E.
Functional Size Measurement based on Problem Frames: a Case Study 1-gen-2008 Lavazza, LUIGI ANTONIO; DEL BIANCO, V.
Towards the integration of SysML and Problem Frames 1-gen-2008 Colombo, Pietro; V., DEL BIANCO; Lavazza, LUIGI ANTONIO
Metodo storico e metodo giuridico In corso di stampa Castelvetri, Laura
Semantic Web meets Virtual Museums: the Domus Naturae Project 1-gen-2005 Ghiselli, Cristina; Bozzato, L; Trombetta, Alberto; Binaghi, Elisabetta
A classification of real-time specifications complexity 1-gen-2001 V., DEL BIANCO; Lavazza, LUIGI ANTONIO; Mauri, Marco
Combining UML and formal notations for modelling real-time systems 1-gen-2001 Lavazza, LUIGI ANTONIO; G., Quaroni; M., Venturelli
Deriving executable process descriptions from UML 1-gen-2002 E., DI NITTO; Lavazza, LUIGI ANTONIO; M., Schiavoni; E., Tracanella; M., Trombetta
Towards a component-based, model-driven process supporting variability of real-time software 1-gen-2003 V., DEL BIANCO; Lavazza, LUIGI ANTONIO
A Formalization of UML Statecharts for Real-Time Software Modeling 1-gen-2002 V., DEL BIANCO; Lavazza, LUIGI ANTONIO; Mauri, Marco
An Empirical Evaluation of Object Oriented Metrics in Industrial Setting 1-gen-2003 Denaro, G.; Lavazza, LUIGI ANTONIO; Pezze', M.
Model Checking UML Specifications of Real-Time Software 1-gen-2002 V., DEL BIANCO; Lavazza, LUIGI ANTONIO; Mauri, Marco
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.701 a 3.720 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