Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionalities function » functionaries function, functionals function, functionalities citation
parallel projects » parallel project, parallel projections, parallel projection
a functionalities » _ functionalities, new functionalities, 2.0 functionalities
function https » functions https, fiction https
projects a » projects _
functionalities function » functionaries function, functionals function, functionalities citation
parallel projects » parallel project, parallel projections, parallel projection
a functionalities » _ functionalities, new functionalities, 2.0 functionalities
function https » functions https, fiction https
projects a » projects _
1
Udgivet 2006
Indholdsfortegnelse:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2013
Indholdsfortegnelse:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...”Få fuldtekst
Electronisk
eBog
7
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Indholdsfortegnelse:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2013
Indholdsfortegnelse:
“... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2012
Fag:
“...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2014
Indholdsfortegnelse:
“... Pitfalls: Divisional Efficiency and Frontier Projection -- Efficiency Decomposition in Network Data...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... on the Heisenberg Group -- A Div-Curl Lemma in BMO on a Domain -- Subharmonic Functions on Discrete Structures...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2015
Indholdsfortegnelse:
“... Requirements Artifacts -- Requirements Engineering in the Bidding Stage of Software Projects A Research Preview...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2007
Indholdsfortegnelse:
“... Control of Bio-entities in the Bio-network Middleware -- A Web Portal for Regional Projection of Weather...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2015
Indholdsfortegnelse:
“... Strategies -- A Parallel Approach for Evolutionary Induced Decision Trees -- MPI+OpenMP Implementation...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2015
Indholdsfortegnelse:
“... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2014
Indholdsfortegnelse:
“... Algorithm Based on Neural Network Structures -- A New Image Reconstruction from Projections Algorithm...”Få fuldtekst
Electronisk
eBog