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