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

Format:
Table of Contents: “... to a Device, When Any Device Will Do -- Method#2: Using the Host Device for Development and Debugging...”
Click to View

Format:
Table of Contents: “... computations -- Applications and comparison to kernel fusion -- Polynomial evaluation using Horner's method...”
Click to View

Format:
Table of Contents: “... -- Application Debugging Using the Android Debug Bridge -- Setting Up ADB -- ADB on Windows -- ADB Host-Client...”
Click to View

Format:
Table of Contents: “... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...”
Click to View

Format:
Table of Contents: “....available( ) -- Serial.read( ) -- Printing Debug Messages and Using the Serial Console....”
Click to View

Format:
Table of Contents: “... of Probabilistic Programs -- 3 Training Neural Ranking Supermartingales -- 4 Verifying Ranking Supermartingales...”
Click to View

Format:
Table of Contents: “... Processing. -- 2.2 Representing Simulation States using SMT formulas. -- 2.3 Symbolic Simulation. -- 2...”
Click to View

Format:
Table of Contents: “... -- 5.2.5 DEPTH DERIVATIVES -- 5.2.6 PUTTING IT ALL TOGETHER -- 5.3 FURTHER APPLICATIONS -- 5...”
Click to View