pierpaolo degano Pierpaolo Degano's Documents - EPDF.PUB

Pierpaolo Degano's Documents

Pierpaolo Degano's Documents

Programming Languages and Systems, 12 conf., ESOP 2003

Programming Languages and Systems, 12 conf., ESOP 2003
Read more
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
Read more
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science Security and Cryptology)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science Security and Cryptology)
Read more
Computational Methods in Systems Biology

Computational Methods in Systems Biology
Read more
Formal Aspects in Security and Trust (Lecture Notes in Computer Science, 5983)

Formal Aspects in Security and Trust (Lecture Notes in Computer Science, 5983)
Read more
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology)

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology)
Read more
Automata, Languages and Programming, 24 conf., ICALP97

Automata, Languages and Programming, 24 conf., ICALP97
Read more
Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised

Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised
Read more
Concurrency, Graphs and Models

Concurrency, Graphs and Models
Read more
La notte brava

La notte brava
Read more
scritti corsari

scritti corsari
Read more
Accattone

Accattone
Read more
Teorema

Teorema
Read more
Una Vita Violenta

Una Vita Violenta
Read more
Lingua

Lingua
Read more
Scritti corsari

Scritti corsari
Read more
I Kalasha del Hindu Kush: ricerche linguistiche e antropologiche

I Kalasha del Hindu Kush: ricerche linguistiche e antropologiche
Read more
Infrared Holography for Optical Communications Topics in Applied Physics

Infrared Holography for Optical Communications Topics in Applied Physics
Read more
Nanoscale MOS Transistors: Semi-Classical Transport and Applications

Nanoscale MOS Transistors: Semi-Classical Transport and Applications
Read more
The Institutions of the Enlarged European Union: Change and Continuity

The Institutions of the Enlarged European Union: Change and Continuity
Read more
Role of Physical Exercise in Preventing Disease and Improving the Quality of Life

Role of Physical Exercise in Preventing Disease and Improving the Quality of Life
Read more
European framework to decrease the burden of TB HIV

European framework to decrease the burden of TB HIV
Read more