Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Did the Millennium Development Goals Work?

With the target date for the Millennium Develop...

Automated Reasoning

This book constitutes the refereed proceedings ...

Municipal Solid Waste Energy Conversion in Developing Countries

Municipal Solid Waste Energy Conversion in Emer...

Voglio le Olimpiadi

A venticinque anni, a causa di un grave inciden...

Frontiers of Combining Systems

This volume contains the proceedings of FroCoS ...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials f...

Frontiers of Combining Systems

This volume contains the proceedings of FroCoS ...

Automated Reasoning

This book constitutes the refereed proceedings ...

La Letteratura Taiwanese Dell’Infanzia

Nel mio libro illustro il contesto storico in c...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials f...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials f...