Jens Knoop – författare
Visar alla böcker från författaren Jens Knoop. Handla med fri frakt och snabb leverans.
8 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, 2017
567 kr
Lägg i varukorg
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 this volume were carefully reviewed and selected from 42 submissions. They were organized in topical …
Architecture of Computing Systems - ARCS 2017
30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Av Thilo Pionteck, Koji Inoue m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
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 this volume were carefully reviewed and selected from 42 submissions. They were organized in topical …
Optimal Interprocedural Program Optimization
A New Framework and Its Application
Av Jens Knoop
E-bok, 2003
739 kr
Lägg i varukorg
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is …
Optimal Interprocedural Program Optimization
A New Framework and Its Application
Av Jens Knoop
Häftad, 1998
551 kr
Lägg i varukorg
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is …
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
Av Jens Knoop
Häftad, 2011
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented …
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
Av Jens Knoop
E-bok, 2011
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented …
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, 2012
567 kr
Lägg i varukorg
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 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium …
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 Bernhard Steffen, Dietmar Schreiner m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
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 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium …
