Sfoglia per Serie  

opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 2 a 9 di 9
Titolo Data di pubblicazione Autore(i) Tipo File
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele Capitolo di libro o voce di enciclopedia
FlyFast: A mean field model checker 1-gen-2017 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 1-gen-2018 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 1-gen-2015 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Label core for understanding RNA structure 1-gen-2020 Quadrini, M.; Merelli, E.; Piergallini, R. Contributo in atto di convegno su volume
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
Mostrati risultati da 2 a 9 di 9
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