1
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... -- References -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- 1 Introduction...
Click to View
2
by Silverman, Eric.
Published 2018
Format:
Table of Contents: ....4.4 Validation in Scientific Models: Kuppers and Lenhard Case Study -- 2.5 The Connection Between Theory...
Click to View
3
by Briske, David D.
Published 2017
Format:
Table of Contents: ....4 Population Interactions Between Grasses and Woody Plants -- 2.4.1 Establishment of Woody Plant Seedlings -- 2...
Click to View
4
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: ... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5...
Click to View
5
by Reimers, Fernando M.
Published 2020
Format:
Table of Contents: ...Education and Climate Change -- Series Editors' Foreword -- References -- Contents -- Chapter 1...
Click to View