大约有5,000项符合查询结果项。(搜索耗时:0.0196秒)
为您推荐: 面向对象设计的开放式能量管理系统 能量 能量转换材料与技术 命运等于能量 天天向上能量豆 量子真空的零点能量 转换
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
现场管理与5S活动实训教程 【经济】
芮福宏,申奕主编;林岩,简华副主编2013 年出版215 页ISBN:9787561847664《现场管理与5S活动实训教程》主要介绍了企业生产现场管理基础知识,重点讲解了5S活动基础知识,5S(整理、整顿、清扫、清洁、素养)活动的内容与实施方法,并进行了5S管理活动推进实训,介绍了5S管理推进标准。...
-
绩效考核管理实务手册 【经济】
王光伟编著2013 年出版232 页ISBN:9787302336976本书理论与实操相结合,是本书最大的特色。本书从企业绩效考核体系设计的实际出发,对目标管理法、360度考核法、关键业绩考核法以及平衡计分卡等考核技术进行了详细的解读,确保读者能够熟练掌握这些考核技术。...
-
-
多彩的情绪 员工情绪管理 【经济】
李鄂,李元坤,宁天放编著2013 年出版239 页ISBN:9787564077471本书结合管理学、心理学和社会学的知识、理论及工具,通过解析大量的真实案例,系统介绍了现代管理的特点、各种情绪的特点及管理情绪的方法。本书旨在通过对“情绪管理”这一热点问题的阐述,为现代企业的管理提...
-
-
人力资源管理实务操作全书 【经济】
涂满章编2013 年出版310 页ISBN:9787511516213人力资源是企业的核心资源、第一资源这已经是不争的事实。优秀的战略人力资源管理模式能够帮助企业从容应对发展过程中遇到的各种矛盾和问题。本书针对人力资源管理的岗位说明业务流程、绩效管理、薪酬管理...
-
天然气净化检维修管理手册 【工业技术】
傅敬强主编2013 年出版164 页ISBN:9787502192754本书介绍了天然气净化厂装置检维修的管理内容,包括日常检维修、系统性检维修和临时停产检维修。本书作为天然气净化生产管理丛书之一,为天然气净化厂的检维修工作提供了借鉴和指导。本书适合天然气净化厂与检...
-
AMK伺服控制系统原理及应用 【工业技术】
王德吉主编;黄光富,吕新磊,张建勋,王书恩副主编2013 年出版180 页ISBN:9787111401889本书首先介绍了伺服系统的基本概念;然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍;最后举例说明了伺服控制的应用,以加深读者对伺服与伺服系统的认识。...
-
