Format:
Table of Contents: “... Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java...”
Click to View

Format:
Table of Contents: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

Format:
Table of Contents: “... Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules...”
Click to View

Format:
Table of Contents: “... -- Licensing -- Android Licensing Cost -- Application Licensing Cost -- Physical Development Costs -- Software...”
Click to View

Format:
Table of Contents: “... Systems -- Data-Parallel Programming -- Key Attributes of DPC++ and SYCL -- Single-Source -- Host...”
Click to View

Format:
Table of Contents: “... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...”
Click to View

Format:
Subjects: “...Business mathematics Computer programs....”
Click to View

Format:
Table of Contents: “... -- Programming Guides -- The Intel® Firmware Support Package -- The Uniqueness of Embedded Firmware -- The Choice...”
Click to View

Format:
Table of Contents: “... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...”
Click to View

Format:
Table of Contents: “... Tunnel -- Development of Control System of Icing Wind Tunnel -- Railway Track Collapse Monitoring System...”
Click to View

Format:
Table of Contents: “..., Business Models and Prototypes -- 5.4.1 Hardware System -- 5.4.2 Software System -- 5.4.3 Business Model...”
Click to View