Format:
Table of Contents: “... -- Application source code samples -- N-body simulation -- Game of life -- Conjugate gradient -- CO2 capture...”
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: “... of Sensors -- Drivers for Sensor Applications -- Health and Fitness -- Aging Demographics -- Personalized...”
Click to View

Format:
Table of Contents: “... -- Leaky Integrate-and-Fire Model -- Izhikevich Model -- Thorpe's Model -- Information Coding in SNN...”
Click to View

Format:
Table of Contents: “... Model Information with Program Code -- 9.3.2 Application: Security Evolution Scenario -- 9.3.3 Security...”
Click to View

Format:
Table of Contents: “....4.6 Energy Model for an Application -- 5.4.7 Energy Model for Multiple Applications with Hardware...”
Click to View

Format:
Table of Contents: “....2 The Kernel Interface -- 3.3 The Operating System -- 3.4 Simple Application Modeling -- 4 Requirements...”
Click to View

Format:
Table of Contents: “...4 Best Practices in Programming -- 4.1 R Markdown -- 4.2 How Is Code Developed? -- 5 Basic...”
Click to View

Format:
Table of Contents: “... with Communicating Hybrid Programs -- 1 Introduction -- 2 Dynamic Logic of Communicating Hybrid Programs -- 2...”
Click to View

Format:
Table of Contents: “....2 Detecting Intra-update Sniping Vulnerabilities -- 2 A Model for Infrastructure as Code -- 2.1 Cloud...”
Click to View

Format:
Table of Contents: “... and Covering Semidefinite Programs -- 4.2 Applications -- 4.2.1 SDP relaxation for Robust MaxCut -- 4...”
Click to View