1
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Mathematics! -- Geometric Modelling -- Building an Ontology of CAD Model Information -- Intersection...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...
View full text
Electronic eBook