Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
1
Obsah:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
2
Autor Raddwan, Basheer, Al-Wagih, Khalil, Al-Baltah, Ibrahim A., Alrshah, Mohamed A., Al-Maqri, Mohammed A.
Vydáno 2019
“...Recently, Network Function Virtualization (NFV) and Software Defined Networking (SDN) have...”Vydáno 2019
Získat plný text
Článek
3
Vydáno 2005
Obsah:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2015
Obsah:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2010
Obsah:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Získat plný text
Elektronický zdroj
E-kniha
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Vydáno 2014
Obsah:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2010
Obsah:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“... Degree Bounded MSTs -- Edge Disjoint Paths in Moderately Connected Graphs -- Approximation Algorithms II...”Získat plný text
Elektronický zdroj
E-kniha
13
Obsah:
“.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2013
Obsah:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2005
Obsah:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Získat plný text
Elektronický zdroj
E-kniha
18
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Vydáno 2013
Obsah:
“... of LTL -- A Semantic Basis for Proof Queries and Transformations -- Expressive Path Queries on Graphs...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2013
Obsah:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2007
Obsah:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”Získat plný text
Elektronický zdroj
E-kniha