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 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 |
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 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 2
- 08 CURATELE::EDITOR DI SPECIAL ISSUE 2
Data di pubblicazione
- 2018 1
- 2015 1
Editore
- Association for Computing Machinery 1
- Elsevier 1
Rivista
- ACM TRANSACTIONS ON MODELING AND ... 1
- THE JOURNAL OF LOGICAL AND ALGEBR... 1
Keyword
- Concurrency Theory 1
Lingua
- eng 2
Accesso al fulltext
- no fulltext 2