This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of...

This book constitutes the refereed proceedings of the International Workshop on Semantics Applica...

Dijkstra once wrote that computer science is no more about computers than astronomy is about tele...

This volume constitutes the proceedings of the second International Workshop on the Semantics, Ap...

This volume constitutes the proceedings of the ?rst ACM SIGPLAN SIGSOFT International Conference ...

This book constitutes the proceedings of the 7th InternationalWorkshop on Design, Modeling, and...

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and ...

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of ...

In this concise yet comprehensive Open Access textbook, future inventors are introduced to t...

Dijkstra once wrote that computer science is no more about computers than astronomy is about tele...

This volume constitutes the proceedings of the ?rst ACM SIGPLAN SIGSOFT International Conference ...

This volume constitutes the proceedings of the second International Workshop on the Semantics, Ap...