Hoppa till sidans huvudinnehåll

Jens Knoop - Böcker

Visar alla böcker från författaren Jens Knoop.
4 produkter
Del 10172 - Lecture Notes in Computer Science

Architecture of Computing Systems - ARCS 2017

30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

AvJens Knoop,Wolfgang Karl,Martin Schulz,Koji Inoue,Thilo Pionteck

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Optimal Interprocedural Program Optimization

A New Framework and Its Application

AvJens Knoop,J. Knoop

Häftad, Engelska, 1998

689 kr

Skickas inom 10-15 vardagar

Compiler Construction

20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

AvJens Knoop

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification, and Validation

International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

AvReiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar