In Staffel 9 warten vier verzwickte Mordfälle darauf von Vera und ihrem Team aufgeklärt zu werden...

Unter der Leitung der unorthodoxen, aber brillanten DCI Vera Stanhope kehrt das preisgekrönte Kri...

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods ...

Behavioural type systems in programming languages support the specification and verification of p...

This introductory text explores the key concepts of session types, which codify the structure of ...

LES CLOCHES N'ONT PAS SONNÉ auch UNGARISCHE RHAPSODIE 1847 begegnet Franz Liszt, der sich als ein...

Would you like to discover a new world of movies that expands your mind, warms your hearts and st...

Explores quantum computation from the perspective of the branch of theoretical computer science k...

A Treatise On The Science Of War And Fortification: Composed For The Use Of The Imperial Polytech...

A Treatise On The Science Of War And Fortification: Composed For The Use Of The Imperial Polytech...

Behavioural Types: from Theory to Tools presents programming languages and software tools produce...

In the midst of a global pandemic, the Frankfurt POLY (Polycentricity and Plurality of Premodern ...