Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming evaluating » programming evaluation, programming validating, programming evolving
function computing » education computing, generation computing
evaluating https » evaluation https, evaluating hot, evaluation http
https function » its function, sites function, ups function
programming evaluating » programming evaluation, programming validating, programming evolving
function computing » education computing, generation computing
evaluating https » evaluation https, evaluating hot, evaluation http
https function » its function, sites function, ups function
1
Pubblicazione 2006
Sommario:
“...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testo
Elettronico
eBook
3
Pubblicazione 2010
Sommario:
“... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...”Testo
Elettronico
eBook
4
Pubblicazione 2015
Sommario:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Testo
Elettronico
eBook
8
Soggetti:
“...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...”
Testo
Testo
Elettronico
eBook
9
di Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Pubblicazione 2005
Sommario:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Pubblicazione 2005
Testo
Elettronico
eBook
10
Sommario:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Testo
Testo
Elettronico
eBook
11
Pubblicazione 2006
Sommario:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testo
Elettronico
eBook
14
Pubblicazione 2008
Sommario:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Testo
Elettronico
eBook
16
Pubblicazione 2007
Sommario:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Testo
Elettronico
eBook
17
Pubblicazione 2006
Sommario:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Testo
Elettronico
eBook
18
Pubblicazione 2006
Sommario:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Testo
Elettronico
eBook
20
Pubblicazione 2005
Sommario:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Testo
Elettronico
eBook



