New Releases

Language

Ebook Format

DRM

1 - 4 of 4 results

Semantic Techniques in Quantum Computation
Cambridge University Press (2009)
US$100.00

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

Spiritual Cinema
Hay House (2005)
US$9.99

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

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Geoffrey Burn, Simon Gay and 1 more...
Springer London (2012)
US$104.14

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

Behavioural Types: From Theory to Tools

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