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

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 ...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials f...

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...

Don Camillo & Peppone Edition

Der leidenschaftlicher Priester Don Camillo und...