1
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
2
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Invited Talk 1 -- Recursive Towers of Function Fields over Finite Fields -- Efficient Finite Field...
View full text
Electronic eBook