Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs evaluations » programs evaluation, program evaluation, programs evaluating
evaluations https » evaluation https, evaluation http, equations https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs evaluations » programs evaluation, program evaluation, programs evaluating
evaluations https » evaluation https, evaluation http, equations https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”View full text
Electronic
eBook
5
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Article
6
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
9
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
10
Table of Contents:
“... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
12
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”View full text
Electronic
eBook
14
Subjects:
“...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...”
View full text
View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Cartesian Genetic Programming -- Real-Time, Non-intrusive Evaluation of VoIP -- Training Binary GP...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook