Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN：3540211799
APPLYING SYSTEMIC-STRUCTURAL ACTIVITY THEORY TO DESIGN OF HUMAN-COMPUTER INTERACTION SYSTEMS
GREGORY A.BEDNY WALDEMAR KARWOWSKI INNA BEDNY2015 年出版416 页ISBN：1482258042
高压直流输电与柔性交流输电控制装置 静止换流器在电力系统中的应用 applications of static converters in power systems
（加） Vijay K. Sood著2008 年出版215 页ISBN：7111241177
本书主要介绍了高压直流输电与柔性交流输电系统等。
APPLIED DYNAMIC PROGRAMMING FOR OPTIMIZATION OF DYNAMICAL SYSTEMS
2005 年出版260 页ISBN：0898715865
Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
Prospects for Simulation and Simulators of Dynamic Systems
George Shapiro1967 年出版304 页ISBN：
Theory Of Stabilization For Linear Boundary Control Systems
Takao Nambu2016 年出版274 页ISBN：1498758475
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
