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.
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings
2015-01-01 Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio
Tools and verification
2011-01-01 Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino
Towards a “Procedural Legitimation” of EU Agencies? The Reform of the European Supervisory Authorities as a Case Study
2019-01-01 Magliari, Andrea
Towards Automated Analysis of Joint Music Performance in the Orchestra
2013-01-01 Gnecco, G; Badino, L; Camurri, A; D'Ausilio, A; Fadiga, L; Glowinski, D; Sanguineti, M; Varni, G; Volpe, G
Towards direct data-driven model-free design of optimal controllers
2018-01-01 Selvi, D.; Piga, D.; Bemporad, A.
Towards Porting Astrophysics Visual Analytics Services in the European Open Science Cloud
2020-01-01 Sciacca, E.; Vitello, F.; Becciani, U.; Bordiu, C.; Bufano, F.; Calanducci, A.; Costa, A.; Raciti, M.; Riggi, S.
Tra Fermo e Napoli. Exit Giacomo di Nicola?
2019-01-01 Caramico, V.; Zappasodi, E.
Tra il mare e la città: per un’analisi degli accessi al santuario di Punta Stilo
2017-01-01 Olivito, Riccardo
Trade in Transportation Services: Aggregate and Firm Level Data Analysis
2015-01-01 Rungi, A; Hagemejer, J; Michalek, J; MACH-KWIECINSKA, A
Transparency in Keyword Faceted Search: An Investigation on Google Shopping
2019-01-01 Cozza, V.; Hoang, V. T.; Petrocchi, M.; De Nicola, R.
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
- 2 Contributo in Volume 361
- 2 Contributo in Volume::2.1 Contr... 361
Data di pubblicazione
- 2020 36
- 2019 44
- 2018 50
- 2017 27
- 2016 45
- 2015 34
- 2014 26
- 2013 23
- 2012 32
- 2011 16
Editore
- Springer 49
- Springer Verlag 13
- Il Mulino 12
- Giappichelli 11
- Maria Pacini Fazzi Editore 11
- Routledge 9
- Franco Angeli 7
- Giuffrè 5
- Cambridge University Press 4
- Edizioni Fondazioni Ragghianti St... 4
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 32
- ECONOMIA E POLITICA INDUSTRIALE 3
- GREEN ENERGY AND TECHNOLOGY 2
- SPRINGER SERIES ON TOUCH AND HAPT... 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- LECTURE NOTES IN CONTROL AND INFO... 1
- LECTURE NOTES IN MATHEMATICS 1
- SILFS SERIES 1
- THE JEAN MONNET WORKING PAPERS 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 14
- IFAC-PAPERSONLINE 5
- ARCHEOLOGIA E ARTE ANTICA 3
- COURSES AND LECTURES 2
- NEUROMETHODS 2
- ADVANCES IN INTELLIGENT SYSTEMS A... 1
- ANTENOR QUADERNI 1
- ARCHIVI DEL TRENTINO 1
- BOSTON STUDIES IN THE PHILOSOPHY ... 1
- COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
- Computer Science (all) 5
- Theoretical Computer Science 5
- Contemporary Art 3
- Model predictive control 3
- Philosophy of Art 3
- Process calculi 3
- Ancient Greek Philosophy 2
- Arte classica 2
- Attribute-based communication 2
- Avicenna 2
Lingua
- eng 185
- ita 115
- und 8
- fre 3
- spa 2
- heb 1
- per 1
- tur 1
Accesso al fulltext
- no fulltext 205
- reserved 127
- open 26
- partially open 3