Yazar: Jens Knoop

Destek

4 Ebooks tarafından 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 thi …
EPUB
İngilizce
DRM
€57.46
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
İngilizce
DRM
€57.19
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
İngilizce
DRM
€57.99
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 Works …
PDF
İngilizce
DRM
€57.89