（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
芮福宏，申奕主编；林岩，简华副主编2013 年出版215 页ISBN：9787561847664
《现场管理与5S活动实训教程》主要介绍了企业生产现场管理基础知识，重点讲解了5S活动基础知识，5S（整理、整顿、清扫、清洁、素养）活动的内容与实施方法，并进行了5S管理活动推进实训，介绍了5S管理推进标准。...
沈杨主编；张红梅，任昕竺副主编2011 年出版252 页ISBN：9787115247520
本书内容选取上遵循学生职业能力培养的基本规律，以真实工作任务及其工作过程为依据整合、序化教学内容，科学设计学习性工作任务，教、学、做结合，理论与实践一体化，实训、实习等教学环节设计合理。...
杨庆明主编；项叶生，夏蕊，郭凡编著2014 年出版333 页ISBN：9787513628938
《最新版采购管理的100种方法》一书是根据最新实践发展，契合当今社会对采购管理的方法的认识进行了全新的介绍和分析，立意新颖，案例新鲜丰富，内容包括100种具体方法，总结得全面、简洁、生动，易于读者理解。...
华图教育编著2014 年出版308 页ISBN：9787300183916
本书严格依据事业单位招录考试大纲编写，主要针对各省、市单位招聘考试的文秘？管理专业知识科目，几乎囊括了文秘·管理专业知识的全部知识点，分析了文秘？管理专业知识的历年考情和基本知识考点，并在深入分析历年.....
陆敏主编2014 年出版473 页ISBN：9787112169306
本书为工程建设强制性标准条文—电气条文速查手册，共收录了国家和行业规范和标准共508本，有关电气设计、施工及验收的强制性标准条文共4060条（含电气及与电气相关的强条），全书共分十一篇章。第一篇供配电篇含变...
全国计算机等级考试 二级C语言指导 C语言程序设计方法及实践
王桂平编著2016 年出版378 页ISBN：9787308159180
以程序设计思想和方法为主线将C语言知识串接起来，并以全国计算机等级二级C语言考试为实践内容和目标。内容分为三篇。第一篇介绍程序设计方法和C语言基础知识，适合较少学时的教学；第二篇是程序设计方法及实践...
Преподавание физики в 6-7 классах средней школы
А.В.Перышкина1979 年出版304 页ISBN：
