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 73 a 79 di 79
Titolo Data di pubblicazione Autore(i) Tipo File
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
Visualisation of Collective Systems with Sequit and Sibilla 1-gen-2024 Del Giudice, N.; Cruciani, F. M.; Loreti, M. Capitolo di libro o voce di enciclopedia
Mostrati risultati da 73 a 79 di 79
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