李莹,吴江琴著2010 年出版200 页ISBN:9787308066679
本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
徐慧琴著2016 年出版140 页ISBN:9787519007881
本书稿是童话故事集。收录了作者在生活之余所创作的《会说话的大菇伞》《可爱的萤火虫》《会讲故事的机器人》《老鹰大战花狐狸》《会抓坏人的机器人》《大千世界》《善意的阻止》《一只会行走的大青蛙》《...
王兆萍著2012 年出版160 页ISBN:9787514118278
本书通过大学生“村官”工作体系和机制的全面贯彻实施,提高与改善大学生“村官”们的工作生活质量,充分调动大学生“村官”的工作积极性,让大学生“村官”对农村基层工作充满希望,保证大学生“村官”下得去、待...
王建琴著2014 年出版210 页ISBN:9787564415877
本研究创新性地将企业领域的竞争力理论引入具体的竞技体育项目,对中国女子水球队竞争力进行深层理论的探讨。运用综合研究方法,从中国女子水球队竞争力概念内涵的研究入手,对中国女子水球队竞争力的理论分析模...
苏文琴著2014 年出版227 页ISBN:9787560750569
本书为回忆录,作者作为抗美援朝的文艺兵,“还不能满足大家对这场战争的全部期待”,只能从“只能从文艺兵的生活和工作的一角,感性地展现那一段生活”,诸如演出途中艰苦的生活条件、途中躲避飞机轰炸的惊险场景、...
王兆锋,刘炎主编2011 年出版277 页ISBN:9787112131051
本书结合工程安全监理实践,系统地阐述了建设工程安全监理的相关理论、法律知识和操作方法,从实际应用的角度将如何开展建设工程安全监理为主要内容,重点介绍安全监理的职责、内容和方法,以及如何编制安全监理方...
王兆胜著2018 年出版370 页ISBN:9787547050477
胡适是知名度很高的大学者,他一生伴书走天涯,读书、研究、著述,作风严谨,学风刻苦,在很多领域取得了巨大的成就,享有威望。本书介绍了胡适一生的读书生活,包括他阅读各种中外古今作品的感想以及个人的读书方法......
王兆丰,宋党育,张明杰2017 年出版239 页ISBN:9787564636548
本书收录了瓦斯地质基础研究和瓦斯灾害防治技术与工程应用方面的论文50余篇,其中部分论文在2014年和2015年中国煤炭学会瓦斯地质学术年会上进行宣读或交流,是近几年来瓦斯地质基础研究和瓦斯灾害防治技术与应...
赵丽琴著2010 年出版210 页ISBN:9787561779217
教育者的任务就是要发现、激发并保持学生的学习动机,让学生积极主动地投入到学习活动中去。本书以各种颇具代表性和现实指导意义的动机理论为依据,深入浅出地论述了各种激发和培养学生学习动机的教学策略。...
王亚琴著2017 年出版145 页ISBN:9787512641785
这是一本描写大学校园生活的青春励志小说。作者选取了大学校园中独特的视角私立寄宿学校:索菲亚商学院。这所学校里的一些学生,因为特殊的家庭背景:或是父母事业有成、或是家族企业传承了几代、或是祖辈是知名...