Format:
Table of Contents: “....1 Definition and Handling of holes -- 3.2 Detection of holes -- 3.3 Automatic closing of holes and Generation...”
Click to View

Format:
Table of Contents: “....2 Dynamic Dependencies -- 2.3 Advanced Control Flow -- 3 Effect Handlers and Object-Oriented Programming...”
Click to View

Format:
Table of Contents: “... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...”
Click to View

Format:
Table of Contents: “... Between Security Abstraction Models -- (Semi)-Automatic Acquisition of Tacit Knowledge -- 5.3.4 Tacit...”
Click to View

Format:
Table of Contents: “... -- Generating a Library File in the IDE -- Workflow Analysis for NDK Application Development -- NDK Compiler...”
Click to View

Format:
Table of Contents: “... Offline Programming of High Precision Assembly Tasks on 3D Scans Using Tactile Control and Automatic...”
Click to View

Format:
Table of Contents: “... Parameters -- Semi-automatic Discontinuity Detection and Analysis -- Kinematic Analysis -- Infrared...”
Click to View

Format:
Table of Contents: “... electronics based distribution system -- 2.4 Status of solid state transformer developments -- 2.5 Smart grid...”
Click to View