Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs evaluation » program evaluation, programs education, projects evaluation
function computing » education computing, generation computing
evaluation https » education https
https function » its function, sites function, ups function
programs evaluation » program evaluation, programs education, projects evaluation
function computing » education computing, generation computing
evaluation https » education https
https function » its function, sites function, ups function
1
Argitaratua 2006
Aurkibidea:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2015
Aurkibidea:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testu osoa
Baliabide elektronikoa
eBook
6
Gaiak:
“...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testu osoa
Baliabide elektronikoa
eBook
9
nork Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Argitaratua 2005
Aurkibidea:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Argitaratua 2005
Testu osoa
Baliabide elektronikoa
eBook
10
Aurkibidea:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2006
Aurkibidea:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2006
Aurkibidea:
“... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Testu osoa
Baliabide elektronikoa
eBook
16
Aurkibidea:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2006
Aurkibidea:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Testu osoa
Baliabide elektronikoa
eBook