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

Format:
Table of Contents: “... -- Automata and Logic -- Active Learning of Deterministic Timed Automata with Myhill-Nerode Style...”
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: “... Stationarity and Dataset Shift -- 1 Introduction -- 2 Materials and Methods -- 3 Results and Discussion -- 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: “... Learning -- 10.1.2 The Study (Mixed Methods Design) -- 10.2 Quantitative Phase -- 10.2.1 Methods -- 10...”
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: “... Introduction -- 2 Overview -- 3 Periodic Programs -- 4 Data Races -- 5 Response Time and its Computation -- 5...”
Click to View

Format:
Table of Contents: “....3 The GJR-GARCH Model -- 3 Data -- 4 Empirical Result -- 4.1 Time Series Unit Root Test -- 4.2 Model...”
Click to View

Format:
Table of Contents: “..., Determination of the Stacking Fault Energy in Austenite -- 11.4.1 Experimental Methods for Quantitative...”
Click to View

Format:
Table of Contents: “... -- 3 Shackle: The Situation of Two Cities Under the Background of the Times -- 4 Breakthrough...”
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: “... Methods -- 4.1 Evaluating Performance Using a Local Timeline -- 4.2 Real-Time Model Performance -- 5...”
Click to View

Format:
Table of Contents: “... and assessment methods -- 3.2 Overview of quantitative sustainable development assessment methods -- 3...”
Click to View

Format:
Table of Contents: “... Ten Years: A Qualitative-Quantitative Approach -- Method -- Study Design -- Sample Description...”
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