1
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
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
... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...
Articolo
7
Pubblicazione 2005
Sommario: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Testo
Elettronico eBook
9
Sommario: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Testo
Elettronico eBook
10
Sommario: ... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...
Testo
Elettronico eBook
11
Pubblicazione 2005
Sommario: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Testo
Elettronico eBook
12
di Rohde, Charles A., Rohde, Charles A.
Pubblicazione 2014
Soggetti: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Testo
Elettronico eBook
13
Pubblicazione 2006
Sommario: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Testo
Elettronico eBook
14
di Kiely, R., Kiely, R., Rea-Dickins, P.
Pubblicazione 2005
Soggetti: ...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...
Testo
Elettronico eBook
15
Pubblicazione 2010
Sommario: ...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...
Testo
Elettronico eBook
16
Pubblicazione 2006
Sommario: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
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: ... Cartesian Genetic Programming -- Real-Time, Non-intrusive Evaluation of VoIP -- Training Binary GP...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Testo
Elettronico eBook