Format:
Table of Contents: “...Agricultural Product Price Forecast based on Shortterm Time Series Analysis Techniques...”
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: “... Cover Maps Series/Land Use Cover Changes -- 5 Validation of Land Use Cover Change Modelling Exercises...”
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