1
Udgivet 2012
Fag: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Få fuldtekst
Electronisk eBog
3
Udgivet 2011
Indholdsfortegnelse: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Få fuldtekst
Electronisk eBog
5
Fag: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Få fuldtekst
Electronisk eBog
7
Udgivet 2011
Indholdsfortegnelse: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
Få fuldtekst
Electronisk eBog
8
Fag: ...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Få fuldtekst
Electronisk eBog
14
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
15
Udgivet 2011
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Fag: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
17
Udgivet 2013
Indholdsfortegnelse: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Få fuldtekst
Electronisk eBog
18
Indholdsfortegnelse: ... and Mathematical Programming....
Få fuldtekst
Electronisk eBog
19
Udgivet 2015
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
20
af Kiely, R., Kiely, R., Rea-Dickins, P.
Udgivet 2005
Fag: ...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...
Få fuldtekst
Electronisk eBog