1
by Weijnen, Margot P. C.
Published 2021
Format:
Table of Contents: ... to Inequality -- Sustainable Energy -- Transition or Disruption? -- The Way Forward -- References...
Click to View
2
3
by Tonn, Joan C.
Published 2003
Format:
Table of Contents: ..., and suffrage -- Private funds for public purposes -- My beloved centres -- The functions, financing...
Click to View
4
5
by Alpaydın, Yusuf.
Published 2022
Format:
Table of Contents: ... -- References -- Scientific Paradigm Shifts and Curriculum: Experiences in the Transition to Social...
Click to View
6
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: ...: Transforming Reflexive-Transitive Closure -- 8 Evaluation -- 9 Related Work -- 10 Conclusion -- References...
Click to View
7
by Briske, David D.
Published 2017
Format:
Table of Contents: ... -- 5.3.4 Biodiversity and Ecosystem Function -- 5.4 Future Perspectives -- 5.5 Summary -- References...
Click to View
8
by Özarslan, Evren.
Published 2021
Format:
Table of Contents: ... Ways to Characterize the Equivalence of Rabcd and widetildeRabcd -- 5 Discussion -- References...
Click to View
9
by Rafelski, Johann.
Published 2015
Format:
Table of Contents: ...7.6 Particle Yields and Canonical Charge Conservation -- 7.7 Concluding Remarks -- References -- 8...
Click to View
10
by Bisello, Adriano.
Published 2021
Format:
Table of Contents: ... the Climate and Energy Transition: Clean Energy and Robust Systems for All -- Constraints, Stakeholders...
Click to View
11
by Platzer, André.
Published 2021
Format:
Table of Contents: ....1 Algebraic Formalization of Induction and Coinduction -- 2.2 Transitive (Co)closure Operators -- 3 Non-well...
Click to View
12
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: ... Work -- 7 Conclusion and Future Work -- References -- Balancing Automation and Control for Formal...
Click to View
13
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ... of the Nominated PhD Theses -- 3 The Work of the Award Winner -- 4 Structure of the Book -- Thanks -- References...
Click to View
14
by Goericke, Stephan.
Published 2019
Format:
Table of Contents: ... -- 4 Transitioning to Agile Testing -- 5 The People Perspective -- 6 Conclusion -- References...
Click to View
15
by Altman, Russ B.
Published 2019
Format:
Table of Contents: ... similarity -- References -- Disordered Function Conjunction: On the In-Silico Function Annotation...
Click to View
16
by Daya Sagar, B. S.
Published 2018
Format:
Table of Contents: ... the Quench Function -- 12.5 Accretion and Homotopy -- 12.6 Conclusion -- References -- 13 An Introduction...
Click to View
17
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... -- 3.2 Bit-Vectors -- 3.3 Floating-Point Arithmetic -- 3.4 Uninterpreted Functions -- 3.5 Quantifiers...
Click to View
18
by Benth, Fred Espen.
Published 2015
Format:
Table of Contents: ....3 Modelling Turbulent Velocity Time Series -- 6 Conclusion and Outlook -- References -- Functional and Banach...
Click to View
19
by Shoham, Sharon.
Published 2022
Format:
Table of Contents: ... of Dynamics and Predicate Transformers -- 4.2 Structural Theory of PDR from Transition Systems -- 5 Known...
Click to View
20
by Gruhn, Volker.
Published 2018
Format:
Table of Contents: ... Architecture: Future Reference Architecture -- 3 On Systems, Their Interfaces and Properties -- 3.1 About...
Click to View