1
Publicat 2015
Taula de continguts: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obtenir text complet
Electrònic eBook
2
Publicat 2012
Matèries: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Obtenir text complet
Electrònic eBook
13
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
14
per Raynal, Michel., Raynal, Michel.
Publicat 2013
Taula de continguts: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obtenir text complet
Electrònic eBook