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.

cerca in
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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. 1-gen-2018 Di Marzo Serugendo, Giovanna; Loreti, Michele Cura di atti, volumi e cataloghi
Editorial for the Special Issue on Open Problems in Concurrency Theory 1-gen-2015 Loreti, Michele EDITOR DI SPECIAL ISSUE
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 1-gen-2018 Ter Beek, Maurice H.; Loreti, Michele EDITOR DI SPECIAL ISSUE
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 1-gen-2019 Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario Cura di atti, volumi e cataloghi
Preface of Proceedings of ICTCS 2015, the 16th Italian Conference on Theoretical Computer Science 1-gen-2016 Crescenzi, Pierluigi; Loreti, Michele Cura di atti, volumi e cataloghi
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 1-gen-2016 ter Beek, Maurice H.; Loreti, Michele Cura di atti, volumi e cataloghi
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. 1-gen-2016 Ganty, Pierre; Loreti, Michele Cura di atti, volumi e cataloghi
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 08 CURATELE 7
  • 08 CURATELE::Cura di atti, volumi... 5
  • 08 CURATELE::EDITOR DI SPECIAL ISSUE 2
Autore
  • CORRADINI, Flavio 1
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