1
Publicat 2010
Taula de continguts: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
Obtenir text complet
Electrònic eBook
4
... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...
Article
5
Publicat 2015
Taula de continguts: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Obtenir text complet
Electrònic eBook
8
Publicat 2007
Taula de continguts: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Obtenir text complet
Electrònic eBook
12
Matèries: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Obtenir text complet
Electrònic eBook
13
Publicat 2006
Taula de continguts: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Obtenir text complet
Electrònic eBook
14
per Kiely, R., Kiely, R., Rea-Dickins, P.
Publicat 2005
Matèries: ...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...
Obtenir text complet
Electrònic eBook
16
Publicat 2006
Taula de continguts: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... Cartesian Genetic Programming -- Real-Time, Non-intrusive Evaluation of VoIP -- Training Binary GP...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook