Format:
Table of Contents: “... Program verification using VST -- 3 VSU calculus -- 3.1 Components and soundness -- 3.2 Derived rules -- 4...”
Click to View

Format:
Table of Contents: “... Verification by Verifier Combinations -- 3 Construction of Verifier Combinations with CoVeriTeam -- 3.1...”
Click to View

Format:
Table of Contents: “... and Research -- 3.1 The US Approach -- 3.2 Initiatives in Europe -- 3.3 The Australian Approach -- 4 CI...”
Click to View

Format:
Table of Contents: “... -- 3.1 Introduction -- 3.2 Experimental Study on Corrosion-Induced Cracking -- 3.2.1 Filling of Strand...”
Click to View

Format:
Table of Contents: “....4.2 Evolution Processes -- 2.4.3 Configuration Management -- 3 Addressed Challenges -- 3.1 Tacit Knowledge -- 3...”
Click to View

Format:
Table of Contents: “...PPL -- 3.1 PPL Control-Flow Graphs -- 3.2 SMC and PCFGs -- 3.3 RootPPL -- 4 Compiling to PCFGs -- 4...”
Click to View

Format:
Table of Contents: “... from the study of other forms of software? -- 6.1 Resources -- 6.2 Timing -- 6.3 Verification...”
Click to View

Format:
Table of Contents: “... -- 3.1 Capability Passing -- 4 Lexically Scoped Effect Handlers: What You See Is What You Get -- 4...”
Click to View

Format:
Table of Contents: “....7 Conclusion -- 2.8 Literature -- 2.9 Appendix -- 3 Architectures for Flexible Collaborative Systems -- 3.1...”
Click to View

Format:
Table of Contents: “... Distribution in a Plant -- 3.1 Nondestructive Element Analysis: Element Profile -- 3.1.1 Profile...”
Click to View

Format:
Table of Contents: “... dissolved solids - oven drying method6 -- 8.6.1.3.1 Introduction -- 8.6.1.3.2 Safety precaution -- 8.6.1...”
Click to View

Format:
Table of Contents: “... -- References -- 3 Amplitude Panning Using Vector Bases -- 3.1 Vector-Base Amplitude Panning (VBAP) -- 3...”
Click to View

Format:
Table of Contents: “...Currency Market -- 3.1 Introduction -- 3.2 Description of the Database -- 3.3 Execution and Cancellation Lifetimes...”
Click to View

Format:
Table of Contents: “... and Measures for Their Extension -- 2.3.3 Material Flow Control -- 2.3.3.1 High Productivity in Infeed Swaging...”
Click to View

Format:
Table of Contents: “... in Manual Assembly Systems -- 3.1 Guidance in Assembly Tasks - Optical and Video See-Through Approaches -- 3...”
Click to View

Format:
Table of Contents: “... System Hardware -- 3.1 Introduction -- 3.2 Input: Interface Between Physical and Cyber-World -- 3...”
Click to View

Format:
Table of Contents: “... -- 3.1 Introduction -- 3.1.1 Data and Reality -- 3.1.2 Desiderata for Clinical Data Standards -- 3.1...”
Click to View

Format:
Table of Contents: “... -- 6.1 Introduction -- 6.2 Flow Solver -- 6.3 The NREL Phase VI Wind Turbine Rotor -- 6.3.1...”
Click to View

Format:
Table of Contents: “... Misleading Interpretations Due to Feature Interactions -- 6.1 Misleading Feature Effects Due to Aggregation...”
Click to View

Format:
Table of Contents: “...-Composites -- 6.1 Introduction -- 6.2 Materials and Methods -- 6.3 Results -- 6.3.1 Conventional Sintering...”
Click to View