IRIS Institutional Research Information System

7.1 Curatela: [335] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 261 a 280 di 335
Titolo Data di pubblicazione Autore(i) File
I-SEMANTICS 2011 - Proceedings of the 7th International Conference on Semantic Systems 1-gen-2011 Ghidini, Chiara; Axel Cyrille Ngonga, Ngomo; Stefanie, Lindstaedt; Tassilo, Pellegrini
Special Issue on Robotic Sense of Touch 1-gen-2011 Dahiya, Ravinder Singh; Giorgio, Metta; Giorgio, Cannata; Maurizio, Valle
Addenda III, 1943 1-gen-2009 Cau, Maurizio; V., Capperucci
IEEE Journal of Selected Topics in Signal Processing - Special Issue on Speech Processing for Natural Interaction with Intelligent Environments 1-gen-2010 Omologo, Maurizio
Famiglia e religione nella prima età moderna. Saggi in onore di Silvana Seidel Menchi 1-gen-2011 Rospocher, Massimo; S., Luzzi; G., Ciappelli
Beyond the Public Sphere. Opinions, Publics, Spaces in Early Modern Europe (XVI-XVIII) 1-gen-2012 Rospocher, Massimo
Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 1-gen-2010 T., Zseby; R., Savola; Pistore, Marco
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) 1-gen-2010 Armando, Alessandro; Baumgartner, P.; Dowek, G.
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 1-gen-2006 Armando, Alessandro; Cimatti, Alessandro
Special Issue on "Combining Logical Systems" of the Information and Computation journal 1-gen-2006 Armando, Alessandro; Ringeissen, C.
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 261 a 280 di 335
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 Curatele335
Autore
  • Costa, Paolo22
  • Rospocher, Massimo16
  • Cau, Maurizio15
  • Ghidini, Chiara14
  • Nubola, Cecilia14
  • Bovolo, Francesca11
  • Perini, Anna11
  • Armando, Alessandro10
  • Dragoni, Mauro10
  • Strapparava, Carlo10
Data di pubblicazione
  • 2020 - 202679
  • 2010 - 2019177
  • 2000 - 200973
  • 1990 - 19994
  • 1980 - 19891
  • 1975 - 19791
Editore
  • Springer38
  • Il Mulino27
  • CEUR-WS.org19
  • FBK Press10
  • il Mulino8
  • SPIE8
  • EDB7
  • IEEE6
  • Association for Computational Lin...4
  • De Gruyter4
Rivista
  • ANNALI DELL'ISTITUTO STORICO ITAL...5
  • ELECTRONIC NOTES IN THEORETICAL C...4
  • ANNALI DELL'ISTITUTO STORICO ITAL...3
  • NUEVO MUNDO-MUNDOS NUEVOS3
  • IEEE TRANSACTIONS ON ROBOTICS2
  • JOURNAL OF AUTOMATED REASONING2
  • LANGUAGE RESOURCES AND EVALUATION2
  • LECTURE NOTES IN ARTIFICIAL INTEL...2
  • POS PROCEEDINGS OF SCIENCE2
  • ACM TRANSACTIONS ON SPEECH AND LA...1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE8
  • CEUR WORKSHOP PROCEEDINGS7
  • 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
  • eng186
  • ita106
  • fre11
  • ger9
  • spa5
  • lat3
  • lit1
Accesso al fulltext
  • no fulltext303
  • open13
  • restricted12
  • reserved7