pierpaolo degano
Formal Methods for Computational Systems Biology
TaschenbuchPrint on DemandThis book presents a set of 14 papers accompanying the lectures of leading researchers given at t...
Concurrency, Graphs and Models
TaschenbuchPrint on DemandThis Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday,...
Foundations and Applications of Security Analysis
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-conferenceproceedings of the Joint Worksho...
Formal Aspects in Security and Trust
TaschenbuchPrint on DemandThe present volume contains the proceedings of the 6th International workshop on Formal Aspects o...
Computational Methods in Systems Biology
TaschenbuchPrint on DemandThis volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...
Principles of Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the first International Conference on Principle...
Formal Aspects in Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...
- 1