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: “... Covariance -- 1 Introduction -- 2 Theoretical Results -- 3 A Discrete-in-Time and Continuous-in-Space...”
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: “....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: “...6 Conclusion and Future Work -- References -- Remaining Time Prediction for Processes with Inter...”
Click to View