Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
Analysis and Design of Nonlinear Control Systems 英文
2010 年出版545 页ISBN：9787030259646
本书全面介绍了非线性控制系统的分析与设计。全书共分为两部分。其中第一部分为第1～4章。第1章介绍了拓扑空间，第2章介绍了微流形，第3章介绍了代数、Lie群和Lie代数，它们为本书提供了研究数学背景。第二部分包...
Lecture Notes in Control and Information Sciences 351 LMI Approach to Analysis and Control of Takagi
2007 年出版204 页ISBN：9783540495529
THE ADVANCED THEORY OF STATISTICS VOLUME 3 DESIGN AND ANALYSIS，AND TIME-SERIES THIRD EDITION
2222 年出版585 页ISBN：0852642393
A BRIDGE BETWEEN CONTROL SCIENCE AND TECHNOLOGY VOLUME 1 ANALYSIS AND SYNTHESIS OF CONTROL SYSTEMS
W.R.PERKINS A.G.J.MACFARLANE G.G.LEININGER2222 年出版580 页ISBN：0080316670
