Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
abstraction methods » distraction methods, extraction methods, instruction methods
based abstraction » based extraction, data abstraction, based interaction
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
abstraction methods » distraction methods, extraction methods, instruction methods
based abstraction » based extraction, data abstraction, based interaction
methods recursion » methods recursive, methods decision, method recursive
recursion array » recursion arrays
array formats » array format, assay formats, array formulas
1
Izdano 2015
Kazalo:
“... -- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives -- FAUST2: Formal Abstractions...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2007
Kazalo:
“... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...”Polni tekst
Elektronski
eKnjiga