1
Publicado em 2010
Sumário: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2015
Sumário: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Assuntos: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
por Jukna, Stasys., Jukna, Stasys.
Publicado em 2012
Sumário: ... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Sumário: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2011
Sumário: ...Johann Gregor Mendel “Father of modern genetics” -- Gene therapy: hopes and problems -- VEGFs, FGFs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
por Hartmann, Friedel., Hartmann, Friedel.
Publicado em 2013
Sumário: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Sumário: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
por Jeyakumar, V., Jeyakumar, V., Luc, Dinh The.
Publicado em 2008
Sumário: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
por Lucchetti, Roberto., Lucchetti, Roberto.
Publicado em 2006
Sumário: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
por Talagrand, Michel., Talagrand, Michel.
Publicado em 2014
Assuntos: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
por Nisio, Makiko., Nisio, Makiko.
Publicado em 2015
Assuntos: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2015
Assuntos: ...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
por Mukherjee, Sudipta., Mukherjee, Sudipta.
Publicado em 2014
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
por Han, Maoan., Han, Maoan., Yu, Pei.
Publicado em 2012
Sumário: ... -- Application (I)—Hilbert’s 16th Problem -- Application (II)—Practical Problems -- Fundamental Theory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
por Denardo, Eric V., Denardo, Eric V.
Publicado em 2011
Sumário: ...-Length Problems and Dynamic Programming -- Chapter 9. Flows in Networks -- Chapter 10. Vector Spaces...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2014
Sumário: ... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2012
Sumário: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
Obter o texto integral
Recurso Eletrônico livro eletrônico