Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
"trace models" » "trade models", "track models", "space models", "grace models", "race models"
"trace model" » "trade model", "grace model", "race model"
"practice model" » "practices model"
"trace models" » "trade models", "track models", "space models", "grace models", "race models"
"trace model" » "trade model", "grace model", "race model"
"practice model" » "practices model"
1
by World Bank
Published 2015
“... strategy. TRACE is a simple, practical tool for
making rapid assessments of municipal energy...”Published 2015
Get full text
Get full text
2
by Aavitsland, Kristin B.
Published 2021
Format:
Published 2021
Table of Contents: “... of Legitimation, Models of Authority -- Chapter 4 Jerusalem and the Christianization of Norway -- Chapter 5...”
Click to View
3
by Marrs, Adam.
Published 2021
Format:
Published 2021
Table of Contents: “...Intro -- Table of Contents -- Preface -- Foreword -- CONTRIBUTORS -- NOTATION -- PART I RAY TRACING...”
Click to View
4
by Energy Sector Management Assistance Program
Published 2018
“.... The manual is a
practical guide for city officials and energy experts. TRACE
2...”Published 2018
Get full text
Get full text
5
by Deressa, Temesgen Tadesse
Published 2012
Subjects:
“...AGRONOMIC PRACTICES...”Published 2012
Get full text
Get full text
6
by Gilauri, Nika.
Published 2017
Format:
Published 2017
Table of Contents: “... on Receipts -- 5.4.3 Electronic Tracking and Tracing -- 5.5 Bazars -- 5.6 The Estonian Model -- 5.7 Customs...”
Click to View
7
8
9
10
11
12
by Johnsen, Einar Broch.
Published 2022
Format:
Published 2022
Table of Contents: “... to characterize software traceability -- 5.1 Introduction to feature modelling -- 5.2 Trace definition...”
Click to View
13
by Wies, Thomas.
Published 2023
Format:
Published 2023
Table of Contents: “...-ModularAbstract Interpretation with Local Traces -- 1 Introduction -- 2 Relational Domains -- 3 A Local...”
Click to View
14
by Sergey, Ilya.
Published 2022
Format:
Published 2022
Table of Contents: “... The Basic Message-Passing Model -- 5 Trace Specifications -- 6 Locally Shared Memory Model -- 7 Related Work...”
Click to View
15
by Bouyer, Patricia.
Published 2022
Format:
Published 2022
Table of Contents: “... Upper bounds via a small-model property for ML(9kSO) -- 5 Further connections -- References -- Temporal...”
Click to View
16
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... Consistent Models -- 4 Trace Semantics -- 5 DPOR Algorithm for CC, CCv, CM -- 6 Experimental Evaluation -- 6...”
Click to View
17
by Yoshida, Nobuko.
Published 2021
Format:
Published 2021
Table of Contents: “.... -- References -- Complete trace models of state and control -- 1 Introduction -- 2 HOSC -- 3 HOSC[HOSC] -- 3...”
Click to View
18
by Guerra, Esther.
Published 2021
Format:
Published 2021
Table of Contents: “... -- 4.3 FET-aware Trace-driven Fuzzing -- 5 Evaluation -- 5.1 FET Inference Accuracy Evaluation -- 5...”
Click to View
19
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “....3 Evaluation -- 5 Conclusion -- References -- Bounded Model Checking for Hyperproperties -- 1 Introduction -- 2...”
Click to View
20
by Knox, Hannah, 1977-
Published 2020
Format:
Published 2020
Table of Contents: “...% and the Problem of Proportion -- Giving Climate a Body -- The Carbon Life of Buildings -- Footprints and Traces...”
Click to View