Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View

Format:
Table of Contents: “... -- Policy Management and Software Defined Networking (SDN) -- The Rise of the Smart Phone -- Application...”
Click to View

Format:
Table of Contents: “... and Proposed Approach -- 2.4 MPC-Based Control Platform -- 2.4.1 Main_program -- 2.4.2 Task_Manager -- 2...”
Click to View

Format:
Table of Contents: “...) Survey and the SEEP/W Program -- 1 Introduction -- 2 Methodology -- 3 Results and Discussion -- 3...”
Click to View