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