Format:
Table of Contents: “... Application Development -- Development Environment of Android Applications -- Cross-Development -- Programming...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “... -- 2.1 Introduction -- 2.2 Software Systems -- 2.2.1 Application Domains -- 2.2.2 Scopes...”
Click to View

Format:
Table of Contents: “... Symbolic Execution -- 5 General Framework for Hybrid Differential Software Testing -- 6 Applications -- 6...”
Click to View

Format:
Table of Contents: “...-Assisted Robot Programming -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Concept -- 4 Implementation...”
Click to View

Format:
Table of Contents: “...References -- 5 A Service Hardware Application Case Fiducia -- Abstract -- 5.1 Background -- 5...”
Click to View

Format:
Table of Contents: “... -- MKTME -- Dynamic Application Loader (DAL) -- Software Guard Extensions (SGX) - IA CPU Instructions...”
Click to View

Format:
Table of Contents: “... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...”
Click to View

Format:
Table of Contents: “... Services -- Introduction -- Future Internet Services -- The Need for Engineering Secure Software Services...”
Click to View