Format:
Table of Contents: “... -- Automata and Logic -- Active Learning of Deterministic Timed Automata with Myhill-Nerode Style...”
Click to View

Format:
Table of Contents: “... Specifications -- 3.1 Semantics-Guided Synthesis -- 3.2 Adding Quantitative Syntactic Objectives....”
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: “... Constructions for LTL -- 3.2 Relationship to Quantitative Synthesis -- 3.3 Approximating Compactness -- 4...”
Click to View

Format:
Table of Contents: “...Intro -- Foreword -- References -- Contents -- Chapter 1: Introduction: Studying Birds in Time...”
Click to View

Format:
Table of Contents: “..., 3.2 Times More Children -- Retirees Teaching Science to Young Children -- Interview 3: Considering...”
Click to View

Format:
Table of Contents: “... and Regions of Meaningful Geographical Realities -- Social Relations of Space -- The Times They Are a-Changing...”
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: “...: A History -- 4 Uses of LUC Data -- 5 Land Change Science -- 6 Land Use and Land Cover Change...”
Click to View