Jens Knoop - Böcker

Visar alla böcker från författaren Jens Knoop.

4 produkter

Kategorier

4 produkter

Architecture of Computing Systems - ARCS 2017

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

Av Jens Knoop, Wolfgang Karl m. fl

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Optimal Interprocedural Program Optimization

A New Framework and Its Application

Av Jens Knoop, J. Knoop

Häftad, Engelska, 1998

699 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

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

Av Reiner Hähnle, Jens Knoop m. fl

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar