1
Published 2008
Table of Contents: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
3
Table of Contents: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
View full text
Electronic eBook
4
Table of Contents: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
View full text
Electronic eBook
5
by Aluko, Rotimi E., Aluko, Rotimi E.
Published 2012
Table of Contents: .... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...
View full text
Electronic eBook
6
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
7
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
View full text
Electronic eBook
10
by Olsson, Mikael., Olsson, Mikael.
Published 2015
Table of Contents: .... References -- 7. Arrays -- 8. String -- 9. Conditionals -- 10. Loops -- 11. Functions -- 12. Class -- 13...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
View full text
Electronic eBook
12
by Zhan, Zhimin., Zhan, Zhimin.
Published 2015
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
13
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
Table of Contents: ... -- Numerical Solution of Fredholm Integral Equations of the Second Kind -- Boundary Integral Equations....
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...
View full text
Electronic eBook
17
Table of Contents: ...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...
View full text
Electronic eBook
18
Table of Contents: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook