Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
屈正，卢喜烈主编2016 年出版341 页ISBN：9787518917426
本书从概念与知识、建设与应用、技术与展望三个方面，从工程学、医院管理学和临床医学的角度，结合我国各级医院乃至社区卫生院的应用现状，全面介绍了心电网络系统在心血管疾病教育培训、早期预防、动态监测、风...
上海贝尔股份有限公司LTE网管集成开发团队编著2011 年出版264 页ISBN：9787111320562
本书是一本由业内人士一线开发人员编写的理论与实践紧密结合的无线网络管理图书。全书先后介绍了LTE的基础知识等。
魏茂林主编2004 年出版250 页ISBN：7040149516
本书是中等职业学校服装设计与工艺专业国家规划教材《服装结构设计》配套练习册。书中所设习题紧密围绕教材各章节的重点、难点，注重理论知识的掌握和动手能力的训练。...
李瑞著2010 年出版138 页ISBN：9787564704803
本书基于作者及其导师在该领域多年的研究工作，系统地介绍了脉冲切换系统的最优控制问题及其求解方法，意在给出一套研究脉冲切换系统最优控制问题的一般性理论。...
齐祥安，刘晓佳等编著2012 年出版278 页ISBN：9787122146861
本书以腐蚀控制系统工程理论为指导，从实践角度研究了设计阶段、制造阶段、储运阶段、安调阶段、使用阶段“五阶段”的涂装质量控制问题；从内在逻辑关系角度分析了涂装材料、设备、环境、工艺、管理“五要素”...
王春阳，李明秋，姜淑华，王宇著2014 年出版155 页ISBN：9787118096576
本书从数学基础、经典分析、现代分析、数字实现四个大的方面分别对分数阶系统的控制模型、频率特性、稳定性能、空间根轨迹、能控能观性、分数阶频域控制器的综合设计、分数阶状态观测器设计等内容进行了定...
王燕平主编2011 年出版199 页ISBN：9787111345961
本书以MATLAB7.5为仿真平台，以自动控制系统为主线，系统地介绍了控制系统的建模、分析与设计的基本原理和仿真方法。分别介绍了MATLAB基础知识、控制系统在MATLAB中的描述、控制系统各种分析方法及MATLAB实现...
杨盐生，贾欣乐著2003 年出版206 页ISBN：7563216480
本书介绍不确定系统鲁棒控制的理论基础，设计方法及在船舶运动控制中的应用，包括匹配不确定线性的鲁棒控制设计和不确定非成性鲁棒控制设计。...
