Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
program functionality » protein functionality, programs functional, supra functionality
functionality code » functionality cloud, functionality lower, functional code
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
code https » care https, body https, models https
program functionality » protein functionality, programs functional, supra functionality
functionality code » functionality cloud, functionality lower, functional code
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
code https » care https, body https, models https
1
Sumário:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Obter o texto integral
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
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
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
Sumário:
“.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
Obter o texto integral
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
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
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