Sfoglia per Titolo
Foreword
2022 De Nicola, R.
Foreword
2022 De Nicola, R.
Foreword
2022 De Nicola, R.
Foreword
2009 L, BOISSON DE CHAZOURNES; Casini, L.; B, Kingsbury
Foreword to applied data science, demo, and nectar tracks
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
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
2005 Poggio, A
La forma del provino ed il problema del contatto nella valutazione della resistenza del calcestruzzo.
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
2014 De Nicola, R
A formal approach to the engineering of domain-specific distributed systems
2020 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
A formal approach to the engineering of domain-specific distributed systems
2018 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Formal modeling and automatic enforcement of Bring Your Own Device policies
2014 Armando, A.; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Reasoning about the Android Security Framework
2013 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
A Formal Proof of Modal Completeness for Provability Logic
2021 Maggesi, Marco; Perini Brogi, Cosimo
Formalising Adaptation Patterns for Autonomic Ensembles
2013 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Formalising Security in Ubiquitous and Cloud Scenarios
2012 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS
2002 DE NICOLA, R; M., Loreti; L., Bettini
Formally verifying security protocols built on watermarking and jamming
2023 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
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