IRIS

Sfoglia per Titolo

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.908 a 1.927 di 5.514
Titolo Data di pubblicazione Autore(i) File
Foreword 1-gen-2022 De Nicola, R.
Foreword 1-gen-2022 De Nicola, R.
Foreword 1-gen-2022 De Nicola, R.
Foreword 1-gen-2009 L, BOISSON DE CHAZOURNES; Casini, L.; B, Kingsbury
Foreword to applied data science, demo, and nectar tracks 1-gen-2019 Brefeld, U.; Curry, E.; Daly, E.; Macnamee, B.; Marascu, A.; Pinelli, F.
Forgiveness, health, and well-being: a review of evidence for emotional versus decisional forgiveness, dispositional forgivingness, and reduced unforgiveness 1-gen-2007 Worthington El, Jr; Witvliet, Cv; Pietrini, P; Miller, Aj
Forgotten Empire: the world of Ancient Persia Londra, British Museum 9 settembre 2005 - 8 gennaio 2006 1-gen-2005 Poggio, A
La forma del provino ed il problema del contatto nella valutazione della resistenza del calcestruzzo. 1-gen-2006 Indelicato, F.; Paggi, M
Forma e sostanza. Aspetti materiali ed estetici nella concezione dello spazio sacro nel meridione normanno-svevo In corso di stampa Longo, Ruggero
A formal approach to autonomic systems programming: the SCEL language 1-gen-2014 De Nicola, R
A formal approach to the engineering of domain-specific distributed systems 1-gen-2020 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
A formal approach to the engineering of domain-specific distributed systems 1-gen-2018 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 1-gen-2016 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Formal modeling and automatic enforcement of Bring Your Own Device policies 1-gen-2014 Armando, A.; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Reasoning about the Android Security Framework 1-gen-2013 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
A Formal Proof of Modal Completeness for Provability Logic 1-gen-2021 Maggesi, Marco; Perini Brogi, Cosimo
Formalising Adaptation Patterns for Autonomic Ensembles 1-gen-2013 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Formalising Security in Ubiquitous and Cloud Scenarios 1-gen-2012 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS 1-gen-2002 DE NICOLA, R; M., Loreti; L., Bettini
Formally verifying security protocols built on watermarking and jamming 1-gen-2023 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
Mostrati risultati da 1.908 a 1.927 di 5.514
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