[美]斯洛汀等著2004 年出版461 页ISBN:7111152182
本书详细探讨了现代非线性系统的分析与设计技术。
Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos
CBSE 20052005 年出版358 页ISBN:3540258779
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543