Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programming function » programming functional, programming functionals, programme function
code programming » cone programming, core programming, side programming
function finding » functions finding, function fitting, function finite
parallel code » parallel model, parallel 3d
finding https » feeding https, building https, thinking https
programming function » programming functional, programming functionals, programme function
code programming » cone programming, core programming, side programming
function finding » functions finding, function fitting, function finite
parallel code » parallel model, parallel 3d
finding https » feeding https, building https, thinking https
1
Publié 2013
Table des matières:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“... of Error-Correcting Codes -- ID-Based Series-Parallel Multisignature Schemes for Multi-Messages from...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Accéder au texte intégral
Électronique
eBook
5
Publié 2008
Table des matières:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Accéder au texte intégral
Électronique
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publié 2006
Table des matières:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Accéder au texte intégral
Électronique
eBook
8
Publié 2013
Table des matières:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Accéder au texte intégral
Électronique
eBook
9
Sujets:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
Publié 2008
Table des matières:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Accéder au texte intégral
Électronique
eBook
11
Table des matières:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...”Accéder au texte intégral
Électronique
eBook
14
Publié 2010
Table des matières:
“... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Accéder au texte intégral
Électronique
eBook
17
Publié 2008
Table des matières:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Accéder au texte intégral
Électronique
eBook
18
Sujets:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
19
Publié 2011
Table des matières:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Accéder au texte intégral
Électronique
eBook
20
Publié 2015
Table des matières:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Accéder au texte intégral
Électronique
eBook