Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function functional » functions functional, fractional functional, nutrition functional
parallel program » parallel programs, parallel problem, parallel programming
functional https » functions https, function https, functional hop
needs function » fields function, acids function, heads functional
program needs » program notes, program new
function functional » functions functional, fractional functional, nutrition functional
parallel program » parallel programs, parallel problem, parallel programming
functional https » functions https, function https, functional hop
needs function » fields function, acids function, heads functional
program needs » program notes, program new
1
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
6
af Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Udgivet 2011
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Udgivet 2011
Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2014
Indholdsfortegnelse:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2012
Indholdsfortegnelse:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...”Få fuldtekst
Electronisk
eBog