李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
徐慧琴著2016 年出版140 页ISBN：9787519007881
本书稿是童话故事集。收录了作者在生活之余所创作的《会说话的大菇伞》《可爱的萤火虫》《会讲故事的机器人》《老鹰大战花狐狸》《会抓坏人的机器人》《大千世界》《善意的阻止》《一只会行走的大青蛙》《...
王建琴著2014 年出版210 页ISBN：9787564415877
本研究创新性地将企业领域的竞争力理论引入具体的竞技体育项目，对中国女子水球队竞争力进行深层理论的探讨。运用综合研究方法，从中国女子水球队竞争力概念内涵的研究入手，对中国女子水球队竞争力的理论分析模...
苏文琴著2014 年出版227 页ISBN：9787560750569
本书为回忆录，作者作为抗美援朝的文艺兵，“还不能满足大家对这场战争的全部期待”，只能从“只能从文艺兵的生活和工作的一角，感性地展现那一段生活”，诸如演出途中艰苦的生活条件、途中躲避飞机轰炸的惊险场景、...
黄军辉，黄晓红主编；张文梅，赖友源，余群副主编2011 年出版186 页ISBN：9787115260246
本书主要内容包括电路的基本概念和定律、电路的基本分析方法、单相正弦电路分析、三相电路与安全用电、磁路与变压器、电动机及控制、电工测量。...
张文治编1937 年出版232 页ISBN：9787101013689
本书摘录经史考订之书、历代文评诗话等有关修辞的材料700余条，分成六部分，第一部分“修辞总论”是古人关于修辞理论的各种观点。本书不仅对于教授文学、研究修辞学者是重要的资料，对于文学爱好者，特别是初学写...
崔晋，张文著2017 年出版264 页ISBN：9787511544711
本书主要内容是介绍了时下热门的数字化展示效果的内涵和技术实现路径.从理论和实践两方面着手,分析和阐释了数字展示的表现基础和应用方法.提供多个应用实例的实践经验,为想了解数字展示艺术实现细节的人群...
