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

Format:
Table of Contents: “... Data and Computation Models -- 3 Quantum Classification Algorithms -- 3.1 Basic Definitions -- 3...”
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: “... Graphical modeling of RRIS -- 5 Compilation in Timed SMV -- 6 Simplification of RRIS models -- 6...”
Click to View

Format:
Table of Contents: “... Cover Maps Series/Land Use Cover Changes -- 5 Validation of Land Use Cover Change Modelling Exercises...”
Click to View

Format:
Table of Contents: “... -- 3.4 Further issues -- 4 Virtual memory in the pKVM production hypervisor -- 5 Model -- 6 Tooling...”
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: “... Models -- 4.2 Event Logs -- 4.3 Implementation -- 4.4 Quantitative Metrics Results -- 5 Conclusion...”
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