1
Publicado em 2010
Sumário: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Por Swenson, Nathan G., Swenson, Nathan G.
Publicado em 2014
Sumário: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Sumário: ... Hypergeometric Series -- 6 Algebraic Functions -- 7 Holonomic Sequences and Power Series -- Appendix...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2015
Sumário: ... Modifications in Plant Responses to Environmental Stresses -- Setting the Stage for the Next Generation...
Obter o texto integral
Recurso Electrónico livro electrónico
7
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 Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Lew, Art., Lew, Art., Mauch, Holger.
Publicado em 2007
Sumário: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- Generation of Functional Insulin-Producing Cells from Human Embryonic Stem Cells In Vitro -- Mesoderm Cell...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2012
Sumário: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2006
Sumário: ... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2015
Sumário: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2007
Sumário: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
Obter o texto integral
Recurso Electrónico livro electrónico