1
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
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: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
View full text
Electronic eBook