1
by Tenenbaum, Bernard William.
Published 2014
Format:
Subjects: “...Rural electrification Africa....”
Click to View
2
3
4
5
6
7
8
Published 2020
Format:
Table of Contents: “... -- The Competency Verification Form -- The Examiner's Resource -- Multiple-choice questions for knowledge...”
Click to View
9
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
10
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
11
by Enea, Constantin.
Published 2023
Format:
Table of Contents: “... Certified Verification -- 5.1 Verified Abstraction Algorithm -- 5.2 Verification through Certification -- 5.3...”
Click to View
12
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
13
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
14
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
15
16
17
by World Bank
Published 2014
Subjects: “...RURAL ELECTRIFICATION...”
Get full text
Get full text
18
by World Bank
Published 2014
Subjects: “...RURAL ELECTRIFICATION...”
Get full text
Get full text
19
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
20