Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
function equations » functions equations, functional equations, function evaluations
computing program » comparing programs, computing progress, computer program
program function » programme function, programs functional, program foundation
equations https » relations https
function equations » functions equations, functional equations, function evaluations
computing program » comparing programs, computing progress, computer program
program function » programme function, programs functional, program foundation
equations https » relations https
1
Julkaistu 2006
Sisällysluettelo:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2006
Sisällysluettelo:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2006
Sisällysluettelo:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Hae kokoteksti
Elektroninen
E-kirja
9
Sisällysluettelo:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Sisällysluettelo:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Sisällysluettelo:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2015
Sisällysluettelo:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2015
Sisällysluettelo:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2007
Sisällysluettelo:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2012
Sisällysluettelo:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”Hae kokoteksti
Elektroninen
E-kirja
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2005
Sisällysluettelo:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- Seuraava »
- [3]