4 Ebooks von Jens Knoop
Koji Inoue & Wolfgang Karl: Architecture of Computing Systems – ARCS 2017
This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017. The 19 full papers presented in …
EPUB
Englisch
DRM
€56.57
Jens Knoop: Optimal Interprocedural Program Optimization
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural …
PDF
Englisch
DRM
€56.47
Jens Knoop: Compiler Construction
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the …
PDF
Englisch
DRM
€55.97
Reiner Hahnle & Jens Knoop: Leveraging Applications of Formal Methods, Verification, and Validation
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 …
PDF
Englisch
DRM
€56.03
