Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel needs » parallel netcdf, parallel greedy, parallel nested
needs programs » seed programs, aids programs, needs problems
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel needs » parallel netcdf, parallel greedy, parallel nested
needs programs » seed programs, aids programs, needs problems
function https » functions https, fiction https
1
Julkaistu 2010
Sisällysluettelo:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Hae kokoteksti
Elektroninen
E-kirja
2
Sisällysluettelo:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2005
Sisällysluettelo:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2014
Sisällysluettelo:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hae kokoteksti
Elektroninen
E-kirja
6
Tekijä Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Julkaistu 2011
Aiheet:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Julkaistu 2011
Hae kokoteksti
Elektroninen
E-kirja
7
Sisällysluettelo:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
8
Sisällysluettelo:
“... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2007
Sisällysluettelo:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2010
Sisällysluettelo:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2010
Sisällysluettelo:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2008
Sisällysluettelo:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2014
Sisällysluettelo:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2010
Sisällysluettelo:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2012
Sisällysluettelo:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Hae kokoteksti
Elektroninen
E-kirja
17
Sisällysluettelo:
“... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2015
Sisällysluettelo:
“... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2011
Sisällysluettelo:
“... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- Seuraava »
- [2]