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