Format:
Table of Contents: “...Intro -- Preface -- Organization -- Contents -- Machine Learning and Deep Learning Approaches...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 Overview -- 3 Periodic Programs -- 4 Data Races -- 5 Response Time and its Computation -- 5...”
Click to View

Format:
Table of Contents: “....0 for Verifying Multiplier Circuits -- 1 Introduction -- 2 Circuit Verification using Computer Algebra -- 3 Usage...”
Click to View

Format:
Table of Contents: “... -- References -- Multiparty Session Typing in Java, Deductively -- 1 Introduction -- 2 Usage: BGJ in a Nutshell...”
Click to View

Format:
Table of Contents: “... -- 4 Learning Program Features -- 4.1 Extracting Features from Programs -- 4.2 Data Features -- 4...”
Click to View

Format:
Table of Contents: “...Passive Measurements with VINI and GLAB -- Lessons Learned for the Usage of Federated Experimental...”
Click to View

Format:
Table of Contents: “... Definition of CPP -- 4.3 Dynamic Programming Algorithm -- 4.4 Computational Complexity of Dynamic Programming...”
Click to View

Format:
Table of Contents: “... to Extreme Fairness -- 5 Extremely Fair Adversarial Rabin Games -- 5.1 Preliminaries on Symbolic Computations...”
Click to View

Format:
Table of Contents: “... -- Roofline Model -- Performance Features of Computer Architectures -- Increasing Single-Threaded Performance...”
Click to View

Format:
Table of Contents: “... -- New Jersey Pollution Prevention Program -- Lessons Learned by New Jersey Companies....”
Click to View

Format:
Table of Contents: “....5 Maintaining Security -- 3.6 Learning from Evolution for Evolution -- 3.7 Maintaining Correctness -- 4...”
Click to View

Format:
Table of Contents: “... of Peacebuilding -- Activities/Programs and Impact -- Budget -- Impact -- Conclusions and Way Forward -- Notes...”
Click to View

Format:
Table of Contents: “... engineering contribute to other forms of software engineering? -- 6 What can computer software engineers learn...”
Click to View

Format:
Table of Contents: “... Initiatives in the World -- 2.2 Lessons Learned from Advanced Carbon Pricing Initiatives -- 2.3 The Current...”
Click to View

Format:
Table of Contents: “... -- 2.3 The MedZEB Protocol -- 2.4 The HAPPEN Program -- 2.5 The HAPPEN Platform -- 3 Application to a...”
Click to View