Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computing meaning » computing learning, computing making, computing mining
function function » function functional, functions functional, function dysfunction
meaning function » learning function, making function, meaningful function
function https » functions https, fiction https
computing meaning » computing learning, computing making, computing mining
function function » function functional, functions functional, function dysfunction
meaning function » learning function, making function, meaningful function
function https » functions https, fiction https
1
Publicat 2005
Taula de continguts:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
3
Publicat 2015
Taula de continguts:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Obtenir text complet
Electrònic
eBook
4
Publicat 2006
Taula de continguts:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obtenir text complet
Electrònic
eBook
5
Publicat 2011
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Obtenir text complet
Electrònic
eBook
15
Publicat 2014
Matèries:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Obtenir text complet
Electrònic
eBook
17
Matèries:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Obtenir text complet
Electrònic
eBook