1
Autor Addis, Tom., Addis, Tom., Addis, Jan.
Vydáno 2010
Obsah: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Získat plný text
Elektronický zdroj E-kniha
2
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
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
Autor Denardo, Eric V., Denardo, Eric V.
Vydáno 2011
Obsah: .... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....
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
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
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání