1
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
2
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
3
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
View full text
Electronic eBook
6
Table of Contents: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
8
by Jukna, Stasys., Jukna, Stasys.
Published 2012
Table of Contents: ... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...
View full text
Electronic eBook
9
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Probability Theory and Stochastic Processes. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Functions -- Revisit to a Theorem of Wogen -- Survey on the Best Constants in the Theory of One-dimensional...
View full text
Electronic eBook
11
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
View full text
Electronic eBook
13
Subjects: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
14
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
15
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ... -- Application (I)—Hilbert’s 16th Problem -- Application (II)—Practical Problems -- Fundamental Theory...
View full text
Electronic eBook
16
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
17
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
18
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
View full text
Electronic eBook
19
Subjects: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
20
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