RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Short Paper Proceedings of the Workshop on Designing for/with/around Nature: Exploring new frontiers of outdoor-related HCI (NatureHCI 2021)
2021-01-01 Mencarini, Eleonora; Rapp, Amon; Tonolli, Linda; Teli, Maurizio; Cibin, Roberto; D'Andrea, Vincanzo; Zancanaro, Massimo
Sociotechnical Environments. Proceedings of the VI STS Italia Conference 2016
2017-01-01 Crabu, S.; Giardullo, P.; Miele, F.; Turrini, M.
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
2018-01-01 Cerone, Antonio; Roveri, Marco
Software Engineering for Games in Serious Contexts
2023-01-01 Cooper, Kendra M. L.; Bucchiarone, Antonio
Solutions and Failures in Identity-based Conflicts.The Autonomy of Trentino-South Tyrol in Comparative Perspective
2014-01-01 Andreatta, Filippo; Castelli, Emanuele
Special Issue "Image Enhancement, Modeling and Visualization"
2018-01-01 Rizzi, Alessandro; Lecca, Michela; Simone, Gabriele; Banic, Nikola
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis"
2006-01-01 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008)
2010-01-01 Armando, Alessandro; Baumgartner, P.; Dowek, G.
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
Special Issue on "Combining Logical Systems" of the Information and Computation journal
2006-01-01 Armando, Alessandro; Ringeissen, C.
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
Opzioni
Scopri
Tipologia
- 7 Curatele 323
- 7 Curatele::7.1 Curatela 323
Data di pubblicazione
- 2020 - 2025 70
- 2010 - 2019 174
- 2000 - 2009 73
- 1990 - 1999 4
- 1980 - 1989 1
- 1975 - 1979 1
Editore
- Springer 37
- Il Mulino 27
- CEUR-WS.org 18
- FBK Press 10
- il Mulino 8
- SPIE 8
- EDB 7
- IEEE 6
- Association for Computational Lin... 4
- Morcelliana 4
Rivista
- ANNALI DELL'ISTITUTO STORICO ITAL... 5
- ELECTRONIC NOTES IN THEORETICAL C... 4
- NUEVO MUNDO-MUNDOS NUEVOS 3
- ANNALI DELL'ISTITUTO STORICO ITAL... 2
- IEEE TRANSACTIONS ON ROBOTICS 2
- JOURNAL OF AUTOMATED REASONING 2
- LANGUAGE RESOURCES AND EVALUATION 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- ACM TRANSACTIONS ON SPEECH AND LA... 1
- AI MAGAZINE 1
Serie
- CEUR WORKSHOP PROCEEDINGS 7
- LECTURE NOTES IN COMPUTER SCIENCE 7
- 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 TEOLOGIA 1
- I LIBRI DI VIELLA 1
- LECTURE NOTES IN BUSINESS INFORMA... 1
- LECTURE NOTES OF THE INSTITUTE FO... 1
Keyword
- religione 5
- Secolarizzazione 4
- communication 3
- modernità 3
- Alps 2
- Alto Adige 2
- Anthropocene 2
- archivi 2
- autonomia 2
- Charles Taylor 2
Lingua
- eng 179
- ita 103
- fre 11
- ger 8
- spa 5
- lat 3
- lit 1
Accesso al fulltext
- no fulltext 293
- open 13
- restricted 10
- reserved 7