Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View

Format:
Table of Contents: “... -- 5.1 Specification and proof reuse -- 5.2 Pattern-level specification -- 6 Verification of object...”
Click to View

Format:
Table of Contents: “... for Gate-Level Models -- 8.2.2 Self-Test Programs -- 8.3 Evaluation of Test Pattern Sets and System...”
Click to View

Format:
Table of Contents: “... -- 5 Data Availability Statement -- References -- WASIM: A Word-level Abstract Symbolic Simulation...”
Click to View

Format:
Table of Contents: “... -- Chapter 1: Real-time Linked Dataspaces: A Data Platform for Intelligent Systems Within Internet of Things...”
Click to View

Format:
Table of Contents: “... Camera -- 1 Introduction -- 1.1 Use Case -- 1.2 Programming Light Show -- 1.3 Light Network Control -- 2...”
Click to View

Format:
Table of Contents: “... of Physical Support Systems: A Study of Resulting Effects for Tasks at and above Head Level Using Exoskeletons...”
Click to View

Format:
Table of Contents: “... Semiology -- 2.3 Benchmark Post Processing and Materialization -- 3 Ground Design and Flood Simulation -- 3...”
Click to View

Format:
Table of Contents: “... -- Workshop Chairs -- Program Committee -- Probability Estimation of Uncertain Process Trace Realizations -- 1...”
Click to View

Format:
Table of Contents: “...? -- 2 Implementation of Cellular Automata -- 2.1 Molecular Level -- 2.2 Reaction-Diffusion Systems -- 3...”
Click to View

Format:
Table of Contents: “... OF PHYSICAL PREPAREDNESS OF FOOTBALL REFEREES OF DIFFERENT COMPETITION LEVELS -- BUTTERFLY SWIMMING TECHNIQUE...”
Click to View

Format:
Table of Contents: “...3 The Intelligence Upgrading of Agent-Based Crowd Simulation -- 3.1 Crowd Behaviour Pattern...”
Click to View

Format:
Table of Contents: “....4.1 KMP Method -- 7.4.2 Collage System -- 7.4.3 Pattern Matching on Collage Systems -- 7.5 Repair-VF -- 7...”
Click to View