Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

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 5 a 9 di 9
Titolo Data di pubblicazione Autore(i) Tipo File
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 5 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