IRIS

Sfoglia per Rivista  ELECTRONIC NOTES IN THEORETICAL 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 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A Coordination-based Methodology for Security Protocol Verification 1-gen-2005 Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E
Epistemic Uncertainty Propagation in Power Models 1-gen-2018 Gribaudo, M.; Pinciroli, R.; Trivedi, K.
Interaction and Concurrency Experiences 1-gen-2009 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
A Logic for Application Level QoS 1-gen-2006 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
An Observational Model for Spatial Logics 1-gen-2006 Tuosto, E; Vieira, Torres
On the Maximum Betweenness Improvement Problem 1-gen-2016 D'Angelo, G; Lorenzo, Severini; Yllka, Velaj
Security Issues in Component-based Design 1-gen-2001 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
Tarzan 1-gen-2005 Tuosto, E
Mostrati risultati da 1 a 8 di 8
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