1
by Eskeland, Gunnar S.
Published 2014
Subjects: ...ENVIRONMENTAL PROBLEM...
Get full text
Get full text
2
3
4
5
6
7
by Linge, Svein.
Published 2019
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
8
by Reinders, James.
Published 2020
Format:
Table of Contents: ... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...
Click to View
9
10
11
12
by Beck, Thorsten
Published 2012
Subjects: ...CREDIT PROGRAM...
Get full text
Get full text
13
14
15
16
17
18
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...
Click to View
19
by Fisman, Dana.
Published 2022
Format:
Table of Contents: ... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...
Click to View
20
by Schüppstuhl, Thorsten.
Published 2021
Format:
Table of Contents: ... An Approach to Integrate a Blockchain-Based Payment Model and Independent Secure Documentation for a Robot...
Click to View