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