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 5 » verification _, verification 1
electrification concessions » electrification lessons, electricity concessions, electrification options
specific functions » special functions, specific factors, specific solutions
verification 5 » verification _, verification 1
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: “... -- 4. Congenital heart disease -- 5. Cardiac blood flow -- 6. Cardiovascular imaging -- 7. Methods -- 8...”
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
10
11
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....2 Computing k-Highest Derivatives -- 5 Differentiating Solution Functions for prMCs....”
Click to View
12
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “....1 Specifications -- 2.2 The Basics of Deductive Synthesis -- 2.3 Synthesis with Recursion and Auxiliary Functions...”
Click to View
13
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... -- 3.2 Bit-Vectors -- 3.3 Floating-Point Arithmetic -- 3.4 Uninterpreted Functions -- 3.5 Quantifiers...”
Click to View
14
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “....4 Verification with Stratified Inlining -- 2.5 Overapproximation Refinement Guided Stratified Inlining -- 3...”
Click to View
15
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “...4 CounterExample-Guided Inductive Synthesis (CEGIS) -- 5 Ranking Function Synthesis -- 5.1 Basic...”
Click to View
16
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....3 Phase 3: Verification of Outcome Results -- 3 Evaluation -- 4 Related Work -- 5 Discussion -- References...”
Click to View
17
18
by Jadresic, Alejandro
Published 2012
Subjects:
“...RURAL ELECTRIFICATION...”Published 2012
Get full text
Get full text
19
20
by Ganjei, Zeinab.
Published 2021
Format:
Published 2021
Table of Contents: “... of Phaser Programs -- 5 Safety Verification of Parameterized Phaser Programs -- 6 Counting Dynamically...”
Click to View