COMPUTER NUMBER SYSTEMS AND ARITHMETIC
NORMAN R.SCOTT2222 年出版254 页ISBN：0131642111
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Analysis and Design of Nonlinear Control Systems 英文
2010 年出版545 页ISBN：9787030259646
本书全面介绍了非线性控制系统的分析与设计。全书共分为两部分。其中第一部分为第1～4章。第1章介绍了拓扑空间，第2章介绍了微流形，第3章介绍了代数、Lie群和Lie代数，它们为本书提供了研究数学背景。第二部分包...
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
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
