Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
electrification concessions » electrification lessons, electricity concessions, electrification options
specific functions » special functions, specific factors, specific solutions
verification 1 » verification _
electrification concessions » electrification lessons, electricity concessions, electrification options
specific functions » special functions, specific factors, specific solutions
verification 1 » verification _
1
2
3
by Pollak, Robert A., 1938-
Published 1992
Format:
Published 1992
Subjects: “...Demand functions (Economic theory)...”
Click to View
4
5
by Grigorescu Fredriksson, Alexandru.
Published 2017
Format:
Published 2017
Table of Contents: “... and Nomenclature -- Table of contents -- Aims -- 1. The human heart -- 2. Cardiac physiology -- 3. Heart failure...”
Click to View
6
7
by Hosier, Richard, Bazilian, Morgan, Lemondzhava, Tatia, Malik, Kabir, Motohashi, Mitsunori, Vilar de Ferrenbach, David
Published 2017
Subjects:
“...RURAL ELECTRIFICATION...”Published 2017
Get full text
Get full text
8
9
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... -- 7 Conclusions -- References -- Gobra: Modular Specification and Verification of Go Programs -- 1...”
Click to View
10
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “... Billion SMT Queries a Day (Invited Paper) -- 1 Introduction -- 2 Eliminate Writing Specifications -- 2.1...”
Click to View
11
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Automata -- 1 Introduction -- 2 Preliminaries -- 2.1 Timed Automata -- 2.2 Learning Deterministic One-Clock...”
Click to View
12
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... in the Linux Kernel -- 4 Automatic Verification of the Kernel's Algorithms -- 4.1 Soundness Specification...”
Click to View
13
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Introduction -- 2 Notation and Preliminaries -- 2.1 Universal Hash Functions -- 2.2 Helpful Combinatorial...”
Click to View
14
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... Termination Analysis -- 1 Introduction -- 2 Preview by Examples -- 2.1 Termination Verification by CEGIS -- 2...”
Click to View
15
Published 2020
Format:
Table of Contents: “...Cover -- Title -- Copyright -- Contents -- Acknowledgements -- Introduction -- SECTION 1...”
Click to View
16
17
by Jadresic, Alejandro
Published 2012
Subjects:
“...RURAL ELECTRIFICATION...”Published 2012
Get full text
Get full text
18
19
by Ganjei, Zeinab.
Published 2021
Format:
Published 2021
Table of Contents: “... of Figures -- List of Tables -- 1 Introduction -- 2 Background -- 3 Preliminaries -- 4 Safety Verification...”
Click to View
20
by Engel, Avner.
Published 2010
Format:
Published 2010
Table of Contents: “...pt. 1. Introduction -- pt. 2. VVT activities and methods -- pt. 3. Modeling and optimizing VVT...”
Click to View