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.
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.008 secondi).
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings.
2018-01-01 Di Marzo Serugendo, Giovanna; Loreti, Michele
Editorial for the Special Issue on Open Problems in Concurrency Theory
2015-01-01 Loreti, Michele
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)
2018-01-01 Ter Beek, Maurice H.; Loreti, Michele
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
2019-01-01 Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario
Preface of Proceedings of ICTCS 2015, the 16th Italian Conference on Theoretical Computer Science
2016-01-01 Crescenzi, Pierluigi; Loreti, Michele
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016.
2016-01-01 ter Beek, Maurice H.; Loreti, Michele
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers.
2016-01-01 Ganty, Pierre; Loreti, Michele
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.008 secondi).
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
- 08 CURATELE 7
- 08 CURATELE::Cura di atti, volumi... 5
- 08 CURATELE::EDITOR DI SPECIAL ISSUE 2
Data di pubblicazione
- 2019 1
- 2018 2
- 2016 3
- 2015 1
Editore
- Springer 3
- Elsevier 2
- Association for Computing Machinery 1
- Cornell Unicersity Library 1
Rivista
- ACM TRANSACTIONS ON MODELING AND ... 1
- ELECTRONIC NOTES IN THEORETICAL C... 1
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- THE JOURNAL OF LOGICAL AND ALGEBR... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 2
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Concurrency Theory 1
Lingua
- eng 7
Accesso al fulltext
- no fulltext 7