1
por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado em 2010
Sumário: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2015
Sumário: ...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2006
Sumário: ... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2010
Sumário: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2008
Sumário: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2006
Sumário: ... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2010
Sumário: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2014
Sumário: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
por Denardo, Eric V., Denardo, Eric V.
Publicado em 2011
Sumário: .... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2013
Sumário: ... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2013
Sumário: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2008
Sumário: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2005
Sumário: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2013
Sumário: ... of LTL -- A Semantic Basis for Proof Queries and Transformations -- Expressive Path Queries on Graphs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2013
Sumário: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2007
Sumário: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2006
Sumário: ... Modeling of Music -- Using Dominators for Solving Constrained Path Problems -- JQuery: A Generic Code...
Obter o texto integral
Recurso Eletrônico livro eletrônico