Alessandro Aldini's Documents

Alessandro Aldini's Documents

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures
Read more
Foundations of Security Analysis and Design VI

Foundations of Security Analysis and Design VI
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Read more
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design
Read more
Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures

Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures
Read more
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Read more
A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design
Read more
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)
Read more
The Cinema of Preston Sturges: A Critical Study

The Cinema of Preston Sturges: A Critical Study
Read more
La secchia rapita (1622)

La secchia rapita (1622)
Read more
Without Blood

Without Blood
Read more
Il Cinque Maggio

Il Cinque Maggio
Read more
Zijde

Zijde
Read more
La guerra in Europa dal rinascimento a Napoleone

La guerra in Europa dal rinascimento a Napoleone
Read more
Trip

Trip
Read more
A Companion to Linguistic Anthropology

A Companion to Linguistic Anthropology
Read more
Seide

Seide
Read more
Pietro Il Grande

Pietro Il Grande
Read more
LUniforme Italiana nella Storia e nellArte

LUniforme Italiana nella Storia e nellArte
Read more
City

City
Read more
City

City
Read more
Barbari: immigrati, profughi, deportati nell'Impero romano

Barbari: immigrati, profughi, deportati nell'Impero romano
Read more
Seide-1

Seide-1
Read more
They Say in Harlan County: An Oral History (Oxford Oral History Series)

They Say in Harlan County: An Oral History (Oxford Oral History Series)
Read more
Novecento. Die Legende vom Ozeanpianisten

Novecento. Die Legende vom Ozeanpianisten
Read more
Zijde

Zijde
Read more
City

City
Read more
Danubio rosso. L'alba dei barbari

Danubio rosso. L'alba dei barbari
Read more
Soie

Soie
Read more
Il Conte Di Carmagnola

Il Conte Di Carmagnola
Read more