1
Publicado em 2012
Assuntos: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Sumário: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2011
Sumário: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Sumário: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Por Rohde, Charles A., Rohde, Charles A.
Publicado em 2014
Assuntos: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2011
Sumário: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Assuntos: ...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Por Argyros, Ioannis K., Argyros, Ioannis K.
Publicado em 2008
Sumário: ... and Mathematical Programming....
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 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
13
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
14
Publicado em 2011
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2012
Assuntos: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2014
Sumário: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2013
Sumário: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2015
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Por Kiely, R., Kiely, R., Rea-Dickins, P.
Publicado em 2005
Assuntos: ...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...
Obter o texto integral
Recurso Electrónico livro electrónico