1
Table of Contents: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
3
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
View full text
Electronic eBook
9
Subjects: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...
View full text
Electronic eBook
14
by Lynch, Stephen., Lynch, Stephen.
Published 2010
Table of Contents: ... -- Limit Cycles -- Hamiltonian Systems, Lyapunov Functions, and Stability -- Bifurcation Theory -- Three...
View full text
Electronic eBook
15
by Lynch, Stephen., Lynch, Stephen.
Published 2014
Table of Contents: ... -- Interacting Species -- Limit Cycles -- Hamiltonian Systems, Lyapunov Functions, and Stability -- Bifurcation...
View full text
Electronic eBook
16
by Townsend, RJ., Townsend, RJ.
Published 2010
Table of Contents: ... to Drupal Functionality....
View full text
Electronic eBook
17
by Kay, Steven., Kay, Steven.
Published 2006
Table of Contents: ... Probability Mass Functions -- Discrete N-Dimensional Random Variables -- Continuous Random Variables...
View full text
Electronic eBook
18
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook
19
Table of Contents: ... and Mathematical Programming....
View full text
Electronic eBook
20
Table of Contents: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
View full text
Electronic eBook