软件工程形式化方法与语言

李莹，吴江琴著2010 年出版200 页ISBN：9787308066679

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

大千世界 奇幻故事集

徐慧琴著2016 年出版140 页ISBN：9787519007881

本书稿是童话故事集。收录了作者在生活之余所创作的《会说话的大菇伞》《可爱的萤火虫》《会讲故事的机器人》《老鹰大战花狐狸》《会抓坏人的机器人》《大千世界》《善意的阻止》《一只会行走的大青蛙》《...

中国女子水球队竞争力研究

王建琴著2014 年出版210 页ISBN：9787564415877

本研究创新性地将企业领域的竞争力理论引入具体的竞技体育项目，对中国女子水球队竞争力进行深层理论的探讨。运用综合研究方法，从中国女子水球队竞争力概念内涵的研究入手，对中国女子水球队竞争力的理论分析模...

烽火硝烟中的英雄乐章

苏文琴著2014 年出版227 页ISBN：9787560750569

本书为回忆录，作者作为抗美援朝的文艺兵，“还不能满足大家对这场战争的全部期待”，只能从“只能从文艺兵的生活和工作的一角，感性地展现那一段生活”，诸如演出途中艰苦的生活条件、途中躲避飞机轰炸的惊险场景、...

怎样让学生爱学习 激发学习动机的7种策略

赵丽琴著2010 年出版210 页ISBN：9787561779217

教育者的任务就是要发现、激发并保持学生的学习动机，让学生积极主动地投入到学习活动中去。本书以各种颇具代表性和现实指导意义的动机理论为依据，深入浅出地论述了各种激发和培养学生学习动机的教学策略。...

琴涩

王亚琴著2017 年出版145 页ISBN：9787512641785

这是一本描写大学校园生活的青春励志小说。作者选取了大学校园中独特的视角私立寄宿学校：索菲亚商学院。这所学校里的一些学生，因为特殊的家庭背景：或是父母事业有成、或是家族企业传承了几代、或是祖辈是知名...

社会责任国家标准解读

郝琴著2015 年出版254 页ISBN：9787513638463

组织社会责任，尤其是企业社会责任，是学术界和实务界关注的热点问题，也是社会公众广泛关注的问题。之前我国各类组织在进行社会责任实践时，没有统一的标准，容易引起理解和行为的混乱。2015年6月2日，我国发布了社会...

一天一首古诗词 下

李锡琴著2019 年出版511 页ISBN：7555278626

这是一本包罗万象的古诗词全集。由教育部名家、中高考试卷出题老师、重庆书作协主席李锡琴主编，解读一般不用学院式的文学批评术语，最大限度地适合青少年阅读。诗歌共选365首，按作者所在时间先后排序。版式按...

一天一首古诗词 上

李锡琴著2019 年出版257 页ISBN：7555278626

这是一本包罗万象的古诗词全集。由教育部名家、中高考试卷出题老师、重庆书作协主席李锡琴主编，解读一般不用学院式的文学批评术语，最大限度地适合青少年阅读。诗歌共选365首，按作者所在时间先后排序。版式按...

算法与程序设计的方法与策略

吴建锋，钱丽琴著2014 年出版232 页ISBN：9787530890134

本书从“什么是计算机程序”开始，在介绍算法与程序设计概念、原理的基础上，在范例和问题的求解过程中阐述程序设计的方法与过程、程序设计语言的知识、常用算法思想及其程序实现。使读者不仅能运用一种程序设...