Formal Methods for Hardware Verification
2006-01-01 Marco, Bernardo; Cimatti, Alessandro
ECAI 2006 - 17th European Conference on Artificial Intelligence. August 29 - September 1, 2006 - Riva del Garda, Italy. Proceedings
2006-01-01 G., Brewka; S., Coradeschi; Perini, Anna; Traverso, Paolo
Service-Oriented Computing – ICSOC 2005. Proceedings of the Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005
2005-01-01 B., Benatallah; F., Casati; Traverso, Paolo
Artificial Intelligence: Methodology, Systems, and Applications. 13th International Conference, AIMSA 2008, Proceedings
2008-01-01 Daniel, Dochev; Pistore, Marco; Traverso, Paolo
At Your Service: Service-Oriented Computing from an EU Perspective
2009-01-01 Elisabetta Di, Nitto; Anne Marie, Sassen; Traverso, Paolo; Arian, Zwegers
Proceedings of the Workshop on Cross-Language Knowledge Induction
2005-01-01 D., Inkpen; Strapparava, Carlo
Proceedings of the International Workshop on Cross-Language Knowledge Induction
2006-01-01 D., Inkpen; Strapparava, Carlo; E., Agirre
Autonomous Agents and Multi-Agent Systems, EUMAS´04 Special Issue
2006-01-01 Ghidini, Chiara; P., Giorgini; W., van der Hoek
Multimodal Intelligent Information Presentation
2005-01-01 Stock, Oliviero; Zancanaro, Massimo
Proceedings of the 8th Italian Conference on Sensors and Microsystems [AISEM 2003]
2004-01-01 C., Di Natale; A., D'Amico; Soncini, Giovanni; Ferrario, Lorenza; Zen, Mario
First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous`04)
2004-01-01 T., Finin; Ghidini, Chiara; Porta Tom, La; C., Petrioli
Modeling and Using Context - 4th International and Interdisciplinary Conference CONTEXT 2003
2003-01-01 P., Blackburn; Ghidini, Chiara; Roy, Turner; Fausto, Giunchiglia
Printing the event: The press as mass medium in Italy and Germany in the first age of print
2025-01-01 Cassini, Stefano; Daniels, Tobias; Toffolo, Sandra
Considerations on Novel Network Edge Physical Node Architectures: Leveraging Unprecedented (Bottom-up) Technology-centric Approaches Empowered by Micro/Nanotechnologies (MEMS/NEMS) and Federated Learning, with an Outlook on AI/5G-empowered Applications
2026-01-01 Iannacci, Jacopo; Belwanshi, Vinod; Kumar Sarma, Kandarpa
Linee di cresta. Abitare, abitudini, altitudini
2026-01-01 Costa, P.; Chizzola, V.; Veronesi, L.
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
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