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 Ratule From The Natural Man To The Political Machin

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

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

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

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

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

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

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

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