Recherches alternatives:
problem functionality » problem functional, problem functionals, protein functionality
program functionality » protein functionality, programs functional, supra functionality
function https » functions https, fiction https
1
Publié 2015
Table des matières: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Accéder au texte intégral
Électronique eBook
5
Publié 2011
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
6
Publié 2005
Table des matières: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Accéder au texte intégral
Électronique eBook
7
Publié 2013
Table des matières: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Accéder au texte intégral
Électronique eBook
9
Publié 2007
Table des matières: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Accéder au texte intégral
Électronique eBook
10
Publié 2006
Table des matières: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Accéder au texte intégral
Électronique eBook
11
Publié 2007
Table des matières: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Accéder au texte intégral
Électronique eBook
14
Publié 2012
Table des matières: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Accéder au texte intégral
Électronique eBook
18
Publié 2006
Table des matières: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Accéder au texte intégral
Électronique eBook
19
Sujets: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
Accéder au texte intégral
Électronique eBook
20
Publié 2007
Table des matières: ... -- Computer Aided Reconstruction and Motion Analysis of 3D Mitral Annulus -- Volumetric Analysis of the Heart...
Accéder au texte intégral
Électronique eBook