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 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
3
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
View full text
Electronic eBook
4
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
5
Published 2011
Table of Contents: ...Johann Gregor Mendel “Father of modern genetics” -- Gene therapy: hopes and problems -- VEGFs, FGFs...
View full text
Electronic eBook
6
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
7
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
View full text
Electronic eBook
8
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
View full text
Electronic eBook
10
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
11
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
12
Table of Contents: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
View full text
Electronic eBook
13
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
14
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
15
Published 2015
Subjects: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
View full text
Electronic eBook
16
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
17
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
18
19
by Denardo, Eric V., Denardo, Eric V.
Published 2011
Table of Contents: ...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...
View full text
Electronic eBook