Sfoglia per Serie
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
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
2010-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
X-Klaim Is Back
2019-01-01 Bettini, Lorenzo; Merelli, Emanuela; Tiezzi, Francesco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes | 1-gen-2010 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
X-Klaim Is Back | 1-gen-2019 | Bettini, Lorenzo; Merelli, Emanuela; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia |
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