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 50 a 61 di 61
Titolo Data di pubblicazione Autore(i) Tipo File
Simulation and analysis of distributed systems in Klaim 1-gen-2010 Calzolai, Francesco; Loreti, Michele Capitolo di libro o voce di enciclopedia
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 1-gen-2011 Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Spatial logic and spatial model checking for closure spaces 1-gen-2016 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Specification and Analysis of Open-Ended Systems with CARMA 1-gen-2015 Hillston, Jane; Loreti, Michele Capitolo di libro o voce di enciclopedia
Specifying and Verifying Properties of Space 1-gen-2014 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems 1-gen-2013 Taffi, Marianna; Paoletti, Nicola; Liò, P.; Tesei, Luca; Merelli, Emanuela; Marini, M. Poster atto convegno su volume
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems 1-gen-2017 Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn Capitolo di libro o voce di enciclopedia
Tools for Ensemble Design and Runtime 1-gen-2015 Abeywickrama Dhaminda, B.; Combaz, Jacques; Horký, Vojtěch; Keznikl, Jaroslav; Kofroň, Jan; Lafuente Alberto, Lluch; Loreti, Michele; Margheri, Andrea; Mayer, Philip; Monreale, Valentina; Montanari, Ugo; Pinciroli, Carlo; Tůma, Petr; Vandin, Andrea; Vassev, Emil Capitolo di libro o voce di enciclopedia
Topological Classification of RNA Structures via Intersection Graph 1-gen-2017 Quadrini, Michela; Culmone, Rosario; Merelli, Emanuela Contributo in atto di convegno su volume
Trust-Based Enforcement of Security Policies 1-gen-2014 Vigo, Roberto; Celestini, Alessandro; Tiezzi, Francesco; De Nicola, Rocco; Nielson, Flemming; Nielson, Hanne Riis Capitolo di libro o voce di enciclopedia
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
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 1-gen-2015 De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Mostrati risultati da 50 a 61 di 61
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