Lorenzo Puglisi

In his most recent works Lorenzo Puglisi reinterprets masterpieces of art history and icons from ...

Frontiers of Combining Systems

This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers ...

Automated Reasoning

This book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...

La Letteratura Taiwanese Dell’Infanzia

Nel mio libro illustro il contesto storico in cui è nata la letteratura dell'infanzia a Taiwan. I...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials for total hip arthroplasty (THA), providing readers...

Performance of Metals and Ceramics in Total Hip Arthroplasty

This book offers expert guidance on materials for total hip arthroplasty (THA), providing readers...

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