1
Publié 2010
Table des matières: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Accéder au texte intégral
Électronique eBook
2
par Freeman, Adam., Freeman, Adam.
Publié 2010
Table des matières: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
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
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Accéder au texte intégral
Électronique eBook
8
Table des matières: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Accéder au texte intégral
Électronique eBook
9
Publié 2007
Table des matières: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Accéder au texte intégral
Électronique eBook
10
Table des matières: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Accéder au texte intégral
Électronique eBook
11
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
12
Publié 2010
Table des matières: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Accéder au texte intégral
Électronique eBook
13
Publié 2008
Table des matières: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Accéder au texte intégral
Électronique eBook
16
Publié 2012
Table des matières: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Accéder au texte intégral
Électronique eBook
17
Table des matières: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Accéder au texte intégral
Électronique eBook
18
Publié 2015
Table des matières: ... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Accéder au texte intégral
Électronique eBook
20
Publié 2011
Table des matières: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
Accéder au texte intégral
Électronique eBook