Format:
Table of Contents: “...Intro -- Contents -- Preface -- Introduction of keynote speakers -- Part I: Computer Science...”
Click to View

Format:
Table of Contents: “... Verification of Microprocessors -- 1 Introduction -- 2 Our FV Tools -- 3 Challenges of Verifying a Single x86...”
Click to View

Format:
Table of Contents: “... -- Game Theory -- A Game for Linear-time-Branching-time Spectroscopy -- 1 Introduction -- 2 Preliminaries...”
Click to View

Format:
Table of Contents: “... Constructions for LTL -- 3.2 Relationship to Quantitative Synthesis -- 3.3 Approximating Compactness -- 4...”
Click to View

Format:
Table of Contents: “...: A History -- 4 Uses of LUC Data -- 5 Land Change Science -- 6 Land Use and Land Cover Change...”
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: “... Introduction -- 2 QAE by Example -- 3 (Quantitative) Abstract Execution -- 3.1 Abstract Execution with Abstract...”
Click to View

Format:
Table of Contents: “... -- Seasonality and Future Changes in Phytoplankton Communities -- Time Series Monitoring of Phytoplankton...”
Click to View

Format:
Table of Contents: “....4.3 E-voting -- 4.4.3.1 Legal Theory and Computer Science -- 4.4.3.2 Socio-political Issues -- 4...”
Click to View

Format:
Table of Contents: “...6 Conclusion and Future Work -- References -- Remaining Time Prediction for Processes with Inter...”
Click to View