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 Types: from Theory to Tools presents programming languages and software tools produce...

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...

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

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...