Andere Suchmöglichkeiten:
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming needs » programming new, programme needs, programming net
needs functionals » heads functional, methods functionals, energy functionals
function https » functions https, fiction https
1
Veröffentlicht 2010
Inhaltsangabe: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Volltext
Elektronisch E-Book
2
von Freeman, Adam., Freeman, Adam.
Veröffentlicht 2010
Inhaltsangabe: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2014
Inhaltsangabe: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volltext
Elektronisch E-Book
6
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book
7
von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006
Inhaltsangabe: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Volltext
Elektronisch E-Book
8
von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006
Inhaltsangabe: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Volltext
Elektronisch E-Book
9
Veröffentlicht 2007
Inhaltsangabe: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2010
Inhaltsangabe: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book
15
Inhaltsangabe: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2014
Inhaltsangabe: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2012
Inhaltsangabe: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2015
Inhaltsangabe: ... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2013
Inhaltsangabe: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Volltext
Elektronisch E-Book