Format:
Table of Contents: “... Force Methods -- 7.1.1 Brute Force Root Finding -- 7.1.2 Brute Force Optimization -- 7.1.3 Model Problem...”
Click to View

Format:
Table of Contents: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View

Format:
Table of Contents: “..., Evaluation, and Optimization -- 4.1 Methodology and Toolset -- 4.2 Scenario and Example -- 5 Discussion...”
Click to View

Format:
Table of Contents: “....2 The Knowledge Quartet -- 4.3 Modelling Teachers' Knowledge in Relation to Teaching Practice -- 4.4 Teachers...”
Click to View

Format:
Table of Contents: “... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...”
Click to View

Format:
Table of Contents: “... An Approach to Integrate a Blockchain-Based Payment Model and Independent Secure Documentation for a Robot...”
Click to View

Format:
Table of Contents: “....3.3 Optimization Approach -- 2.3.4 To-Be Modeling -- 2.3.5 Evaluation -- 2.4 Case Study on Strategic Monitoring...”
Click to View

Format:
Table of Contents: “...-Automatic Derivation of the Abstract Architecture Model -- 2.2.3.2 Trace Validation -- 2.3 Conclusion...”
Click to View