IRIS Institutional Research Information System

7.1 Curatela: [323] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 261 a 280 di 323
Titolo Data di pubblicazione Autore(i) File
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 1-gen-2006 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis 1-gen-2005 Armando, Alessandro; Viganò, L.
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 1-gen-2001 Armando, Alessandro; Jabelean, T.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 1-gen-2010 Armando, Alessandro; G., Lowe
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 1-gen-1999 Armando, Alessandro; Jabelean, T.
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 1-gen-2008 Armando, Alessandro; P., Baumgartner; G., Dowek
Preface 1-gen-2009 Ranise, Silvio; U., Hustadt
Analytical Techniques for Semiconductor Materials and Process Characterization 6 (ALTECH 09) 1-gen-2009 B. O., Kolbesen; C., Claeys; L., Fabry; Bersani, Massimo; Giubertoni, Damiano; Pepponi, Giancarlo
Modelli digitali 3D in archeologia: il caso di Pompei 1-gen-2010 B., Benedetti; M., Gaiani; Remondino, Fabio
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 1-gen-2010 Stefan, Kowalewski; Roveri, Marco
Microwave and Millimeter Wave MEMS 1-gen-2010 Giacomozzi, Flavio; Alexandru, Muller; Dan, Dascalu; Robert, Plana
MEMSWAVE 2009, Proceedings of the 10th international Symposium on RF MEMS and RF Microsystems 1-gen-2009 Giacomozzi, Flavio
IEEE Transactions on Robotics 1-gen-2010 Dahiya, Ravinder Singh; G., Metta; G., Cannata; M., Valle
L'enigma corporeità: sessualità e religione 1-gen-2010 Autiero, Antonio; Knauss, Stefanie
Theology & Sexuality 1-gen-2009 Knauss, Stefanie
Proceedings of the NAACL HLT 2010 Workshop on Computational Approaches to Analysis and Generation of Emotion in Text 1-gen-2010 D., Inkpen; Strapparava, Carlo
Proceedings of the 5th International Workshop on Semantic Evaluation 1-gen-2010 K., Erk; Strapparava, Carlo
STAIRS 2006 - Proceedings of the Third Starting AI Researchers’ Symposium 1-gen-2006 Penserini, Loris; P., Peppas; Perini, Anna
Introduction to the special issue on multimodal corpora for modeling human multimodal behavior 1-gen-2008 J. C., Martin; P., Paggio; P., Kuehnlein; Pianesi, Fabio; R., Stiefelhagen
Proceedings of 3rd International i* Workshop (iStar 2008) 1-gen-2008 Jaelson Brelaz de, Castro; Xavier, Franch; Perini, Anna; Eric S. K., Yu
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 261 a 280 di 323
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
  • 7 Curatele323
Autore
  • Costa, Paolo21
  • Rospocher, Massimo16
  • Cau, Maurizio14
  • Ghidini, Chiara14
  • Nubola, Cecilia14
  • Bovolo, Francesca11
  • Perini, Anna11
  • Armando, Alessandro10
  • Dragoni, Mauro10
  • Strapparava, Carlo10
Data di pubblicazione
  • 2020 - 202570
  • 2010 - 2019174
  • 2000 - 200973
  • 1990 - 19994
  • 1980 - 19891
  • 1975 - 19791
Editore
  • Springer37
  • Il Mulino27
  • CEUR-WS.org18
  • FBK Press10
  • il Mulino8
  • SPIE8
  • EDB7
  • IEEE6
  • Association for Computational Lin...4
  • Morcelliana4
Rivista
  • ANNALI DELL'ISTITUTO STORICO ITAL...5
  • ELECTRONIC NOTES IN THEORETICAL C...4
  • NUEVO MUNDO-MUNDOS NUEVOS3
  • ANNALI DELL'ISTITUTO STORICO ITAL...2
  • IEEE TRANSACTIONS ON ROBOTICS2
  • JOURNAL OF AUTOMATED REASONING2
  • LANGUAGE RESOURCES AND EVALUATION2
  • LECTURE NOTES IN ARTIFICIAL INTEL...2
  • ACM TRANSACTIONS ON SPEECH AND LA...1
  • AI MAGAZINE1
Serie
  • CEUR WORKSHOP PROCEEDINGS7
  • LECTURE NOTES IN COMPUTER SCIENCE7
  • ANNALI DELL'ISTITUTO STORICO ITAL...6
  • LECTURE NOTES IN ARTIFICIAL INTEL...5
  • STUDIES IN EARLY MODERN AND CONTE...2
  • ANNALI DELL'ISTITUTO STORICO ITAL...1
  • GIORNALE DI TEOLOGIA1
  • I LIBRI DI VIELLA1
  • LECTURE NOTES IN BUSINESS INFORMA...1
  • LECTURE NOTES OF THE INSTITUTE FO...1
Keyword
  • religione5
  • Secolarizzazione4
  • communication3
  • modernità3
  • Alps2
  • Alto Adige2
  • Anthropocene2
  • archivi2
  • autonomia2
  • Charles Taylor2
Lingua
  • eng179
  • ita103
  • fre11
  • ger8
  • spa5
  • lat3
  • lit1
Accesso al fulltext
  • no fulltext293
  • open13
  • restricted10
  • reserved7