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: “... -- Contracts in Architectures -- References -- Formal Methods and Agile Development: Towards a Happy Marriage...”
Click to View

Format:
Table of Contents: “...Intro -- Contents -- Ernst Denert Software Engineering Award 2020 -- 1 Introduction -- 2 Overview...”
Click to View

Format:
Table of Contents: “...3.1 Overview -- 3.2 YML -- 3.3 OmniRPC-MPI -- 4 Application Development in the mSPMD Programming...”
Click to View

Format:
Table of Contents: “...Intro -- Android Application Development for the Intel® Platform -- Contents at a Glance...”
Click to View

Format:
Table of Contents: “... -- Book GitHub -- Hello, World! and a SYCL Program Dissection -- Queues and Actions -- It Is All About...”
Click to View

Format:
Table of Contents: “... -- 2 Designing and Programming with DNA -- 2.1 DNA-A Programmable Molecule -- 2.2 Learning by Building...”
Click to View

Format:
Table of Contents: “... into reworking -- 4.1 Scope of functions within the Virtual Environment -- 4.2 Development and setup of a...”
Click to View

Format:
Table of Contents: “... Concepts for Robot Cells -- 2 Materials and Methods -- 3 Results -- 3.1 Development of a Method to Verify...”
Click to View