1
Published 2020
Format:
Table of Contents: “... -- The Competency Verification Form -- The Examiner's Resource -- Multiple-choice questions for knowledge...”
Click to View
2
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: “....1 Non-linear Program Expressions and NRSMs -- 5.2 Multivariate and Hierarchical Distributions -- 5.3...”
Click to View
3
by Shoham, Sharon.
Published 2022
Format:
Table of Contents: “... (sampleTraces) -- 5.2 Learning a Neural Model Tree (learnInv) -- 5.3 Verify Extracted Expectations (verify...”
Click to View
4
by Enea, Constantin.
Published 2023
Format:
Table of Contents: “...-FSCs -- 5.2 Using Reference Policies to Accelerate Inductive Synthesis -- 5.3 Inductive Synthesis...”
Click to View
5
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: “....2 Verification Performance -- 5.3 Reducing Verification Time with Relaxation -- 5.4 Conservativeness of Different...”
Click to View
6
by Enea, Constantin.
Published 2023
Format:
Table of Contents: “....2 Description of EG-PQE -- 5.3 Discussion -- 6 Introducing EG-PQE+ -- 6.1 Main Idea -- 6.2 Discussion -- 7...”
Click to View
7
by Enea, Constantin.
Published 2023
Format:
Table of Contents: “... Reachability -- 5.3 Adapting Subroutines to Our Memory Framework -- 6 Related Work -- 7 Conclusion, Future Work...”
Click to View
8
by World Bank
Published 2014
Subjects: “...RURAL ELECTRIFICATION POLICY...”
Get full text
Get full text
9
10
11
by Vollertsen, Frank.
Published 2019
Format:
Table of Contents: “....2.4.2 Methods -- 5.2.4.3 Validation -- 5.3 Inspection of Functional Surfaces on Micro Components in the Interior...”
Click to View
12
by World Bank
Published 2014
Subjects: “...DECENTRALIZED RURAL ELECTRIFICATION...”
Get full text
Get full text
13
14
15
16
17
18
19
by World Bank
Published 2016
Subjects: “...ELECTRIFICATION...”
Get full text
Get full text
20
by Kale, Sunila S., 1973-
Published 2014
Format:
Subjects: “...Rural electrification India History....”
Click to View