Format:
Table of Contents: “...? -- 5 Discussion and Concluding Remarks -- References -- UX Work in Software Start-Ups: Challenges from...”
Click to View

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: “... Principles in Responsible Software Engineering -- 5 Outlook -- References -- Chasing Mutants -- 1...”
Click to View

Format:
Table of Contents: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “....1 Fundamental Performance -- 4.2 Non-blocking Communication -- 4.3 Application Program -- 4.3.1 Coarray Version...”
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: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

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

Format:
Table of Contents: “... Processes -- Mobile Health Applications -- Personalized Medicine -- Citizen Science -- Summary -- References...”
Click to View

Format:
Table of Contents: “...++ -- Advanced c++ template programming -- Tuples in c++ and their applications -- Type traits, advanced lambdas...”
Click to View

Format:
Table of Contents: “.... -- References -- CoPTIC: Constraint Programming Translated Into C -- 1 Introduction -- 2 The Guess-and-Check...”
Click to View

Format:
Table of Contents: “... -- Invited Talk -- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic...”
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: “... -- Chapter 6: Application and Web Security -- Introduction -- Software Applications -- Completeness...”
Click to View

Format:
Table of Contents: “... -- References -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T* -- 1 Introduction...”
Click to View