1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
3
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
4
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
View full text
Electronic eBook
5
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
View full text
Electronic eBook
6
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
7
Published 2011
Table of Contents: ...Johann Gregor Mendel “Father of modern genetics” -- Gene therapy: hopes and problems -- VEGFs, FGFs...
View full text
Electronic eBook
8
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
View full text
Electronic eBook
9
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
View full text
Electronic eBook
11
Table of Contents: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
View full text
Electronic eBook
12
Table of Contents: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
View full text
Electronic eBook
14
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
15
by Zhang, Yue., Zhang, Yue.
Published 2015
Table of Contents: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
View full text
Electronic eBook
16
Published 2015
Subjects: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
18
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...
View full text
Electronic eBook
20
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook