1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
4
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
7
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
8
Table of Contents: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
View full text
Electronic eBook
9
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
10
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
11
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
12
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
13
Published 2015
Subjects: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ... -- Working with Actin: Methodological Approaches for the Study of Actin in Neurons -- Functions of the Actin...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... at Work -- Elimination Techniques for Program Analysis -- Narrowing Based Inductive Proof Search -- Inst...
View full text
Electronic eBook
17
Table of Contents: ...Preface. -Notation -- Introduction --  Mathematical Programming Problems with Complementarity...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...
View full text
Electronic eBook
19
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
View full text
Electronic eBook
20
Table of Contents: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
View full text
Electronic eBook