che-chandler.de

Formal Aspects in Security and Trust

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

Computational Methods in Systems Biology

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...

Programming Languages and Systems

 This book constitutes the refereed proceedings of the 12th European Symposium on Programmin...

Formal Methods for Computational Systems Biology

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

Concurrency, Graphs and Models

This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday...

Formal Aspects in Security and Trust

Principles of Security and Trust

This book constitutes the refereed proceedings of the first International Conference on Principle...

Formal Aspects in Security and Trust

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

Concurrency, Graphs and Models

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup th...

Formal Methods for Computational Systems Biology

This volume presents the set of papers accompanying the lectures of the eighth International Scho...

Computational Methods in Systems Biology

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...