（意）格涅斯，（意）玛格丽特著2015 年出版228 页ISBN：9787111485216
形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...
鲁强主编2018 年出版110 页ISBN：9787303230778
本书以设计并实现一个具有较高并发性能的Web服务器系统为目标，将操作系统各个部分的理论和算法知识逐步地、有机地融入到此服务器系统的设计和开发过程中，使得学生学习到知识能够作用于一个完整的系统，使得他...
徐泽水，赵华著2018 年出版476 页ISBN：9787030362759
犹豫模糊集作为模糊集的一种最新拓展，其基本组成为犹豫模糊元素，每个犹豫模糊元素是由若干个可能的数值构成的集合。因此，犹豫模糊集比其它模糊集的拓展形式能够全面细致地刻画决策者的犹豫信息。自从西班牙学...
孙冰，徐晓菲，田胜男等著2018 年出版234 页ISBN：9787030567000
本书按照”理论基础－机理分析－模型仿真－政策研究”的脉络展开研究。首先，对制造业企业技术创新生态系统、创新生态位进行界定，进而描述生态系统创新扩散的复杂网络特性；其次，根据系统主体间的互动关系甄选制造......
中广上洋广电产品事业部主编2017 年出版368 页ISBN：9787830024437
本书基于性能卓越的非线性编辑软件U-EDIT，深入讲解U-EDIT软件的基本操作方法和使用技巧。全书共分8章，第1～7章介绍U-EDIT概述、资源的获取与管理、剪辑制作、特技制作、字幕制作、音频处理和节目输出，第8章安排...
许林滔，盛丕根主编2017 年出版150 页ISBN：9787111565352
近年来，随着人们生活水平的不断提高，速冻水产、肉类食品的消费快速发展，对冷链物流的要求进一步日益提高，冷冻企业的速冻机数量也随之大幅增加。而氨制冷系统的工作温度越来越低，并且为了提高生产效率系统普遍带...
Pro/ENGINEER Wildfire 4.0中文版造型设计专家范例详解
张跟华，唐中富编著2011 年出版402 页ISBN：9787030292889
本书以Pro/EngineerWildfire4.0造型设计为主线，针对每个案例进行详细的讲解，使读者能够快速、熟练、深入地掌握Pro/Engineer造型设计技术。全书涉及到工业造型领域的28个案例，通过案例向读者讲解软件在造型设...
中国华电工程（集团）有限公司，上海发电设备成套设计研究院编著2009 年出版200 页ISBN：9787508390932
为了全面介绍国内火电设备制造的最新技术和产品，进一步提升电力工程建设质量和水平，中国华电工程（集团）有限公司和上海发电设备成套设计研究院依据当前电力企业和广大电力用户的需求，在各相关主机、辅机设备制造...
马秀坤等编著2009 年出版410 页ISBN：9787118057416
本书主要从理论联系实际应用的角度，介绍了西门子S7-200、基于PC-based软PLC自动化技术及应用；介绍了MM440变频器、590P直流调速器的原理、工程应用设计；并重点介绍了PLC与数字调速等技术相结合的综合应用系统...
天合教育职称外语考试研究中心主编2014 年出版212 页ISBN：9787111443407
《职称英语理工类A级》共分三部分：应试技巧分析、历年真题精华汇编和全真模拟试题及解析。首先，对比分析2009至2011年真题的出题特点，提出详细、有效的解题方法，同时指出综合类职称英语考试命题规律与发展趋势...
