Hoppa till sidans huvudinnehåll

Jens Knoop – författare

Visar alla böcker från författaren .
4 produkter
Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck - Architecture of Computing Systems - ARCS 2017, Häftad
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 Karlm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Jens Knoop - Optimal Interprocedural Program Optimization, Häftad

Optimal Interprocedural Program Optimization

A New Framework and Its Application

AvJens Knoop

Häftad, Engelska, 1998

709 kr

Skickas inom 10-15 vardagar

Jens Knoop - Compiler Construction, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad
Del 336 - Communications in Computer and Information Science

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

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar