1
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... and Shape Design for Magnetostatics -- Numerical Computation of Magnetic Field and Inductivity of Power...
View full text
Electronic eBook