Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
ADVANCED SYSTEM MODELLING AND SIMULATION WITH BLOCK DIAGRAM LANGUAGES
2222 年出版350 页ISBN：0849394791
Intelligent User Interfaces:Adaptation and Personalization Systems and Technologies
2009 年出版426 页ISBN：9781605660325
BUILDING ELECTRO-OPTICAL SYSTEMS MAKING IT ALL WORK
2009 年出版799 页ISBN：9780470402290
SIGNALS AND SYSTEMS ANALYSIS USING TRANSFORM METHODS AND MATLAB
2004 年出版1054 页ISBN：0072499427
RF MEASUREMENTS FOR CELLULAR PHONES AND WIRELESS DATA SYSTEMS
2008 年出版503 页ISBN：9780470129487
System 360/370 Job Control Language and The Access Methods
1977 年出版340 页ISBN：0201027550
Network Routing Basics Understanding IP Routing in Cisco Systems
2006 年出版408 页ISBN：0471772739
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
Katsuhiko Ogata(明尼苏达大学）著2004 年出版473 页ISBN：7111139143
本书讲授系统动力学的基本理论与方法。前9章是系统动力学的基础部分，包括拉普拉斯变换及变换定理、机械系统的构成和系统运行原理。动力学系统建模的传递函数和瞬时响应、状态空间建模、电动系统和电子机械...
