Lazy Evaluation: From natural semantics to a machine-checked compiler transformation, Fachbücher von Joachim Breitner

Lazy Evaluation: From Natural Semantics To A Machine-checked Compiler

Joachim Breitner | Lazy Evaluation: From Natural Semantics To A...

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von And...

Semantics-Oriented Natural Language Processing, Fachbücher von Vladimir Fomichov A.

A Practical Approach to Compiler Construction, Fachbücher von Des Watson

From amelioration to transformation in human services, Fachbücher

Gabriela Ratulea | From The Natural Man To The Political Machine |

From The Natural Man To The Political Machine Sovereignty And Power In

From Curve Fitting to Machine Learning, Fachbücher von Achim Zielesny

Transformation from Wall Street to Wellbeing, Fachbücher von Janet McIntyre-Mills

Organisational Transformation From Mediocrity to Greatness, Fachbücher von Njoh Vevanje Jr

From Cold War to Cyber War, Fachbücher von Hans-Joachim Heintze, Pierre Thielbörger

Evaluation of Methods to Account for Release from Nanofiber Scaffolds, Fachbücher

Design, Development and Evaluation of a Wear Testing Machine, Fachbücher von Abdulazeez Haruna

From scientific instrument to industrial machine, Fachbücher von Richard Doornbos, Sjir van Loo