李莹,吴江琴著2010 年出版200 页ISBN:9787308066679
本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
陈如平主编;李建民,王玉国,朱忠琴分册主编2019 年出版332 页ISBN:7551617701
以事实性史料为主,大事记的收录信息主要包括如下六大类:第一,政策文件类,涉及中央出台的重大政策文件,各省份发布的具有典型性和代表性的重大政策;第二,重要事件类,涉及重要会议、领导人讲话、重大活动、重大......
艾书琴主编;王爱丽,鲁锐,陈静副主编2012 年出版299 页ISBN:9787509730379
本书是黑龙江省社会科学院关于“黑龙江省社会形势分析与预测”的第13个年度报告。多年来,本报告以其丰富的信息以及突出原创性、科学性、权威型、前沿性、前瞻性的特色,得到社会的广泛认同。本报告以千份随机...
(加)欧内斯特·汤普森·西顿原著;邱宇琴主编2017 年出版214 页ISBN:9787539796307
《西顿动物故事集》是根据“动物文学之父”西顿的作品进行改编的注音美绘版动物故事集。全套8册,精选了西顿笔下最具代表性的动物为主人公,讲述了动物世界感人至深的故事。作品采用真实而生动的写作形式和笔...
张晋西,张甲瑞,郭学琴编著2009 年出版322 页ISBN:9787302163916
本书分为上、下两篇,上篇为UG NX绘图和运动仿真模块UG NX/Motion基础知识;下篇是实例部分,以30个机构为例介绍了如何用UG NX/Motion模块进行机构运动仿真。...
王建琴著2014 年出版210 页ISBN:9787564415877
本研究创新性地将企业领域的竞争力理论引入具体的竞技体育项目,对中国女子水球队竞争力进行深层理论的探讨。运用综合研究方法,从中国女子水球队竞争力概念内涵的研究入手,对中国女子水球队竞争力的理论分析模...
龙湘犁,何美琴编著2007 年出版229 页ISBN:7562821178
本书介绍了环境科学的基本概念和基础知识、污染治理技术的基本原理、环境管理的基本内容、可持续发展的基本理论和实践以及绿色化学和化工的基本原理。全书共分8章,主要内容包括人类活动与环境问题、大气污...
蒋志榆,郑燕琴编著2007 年出版317 页ISBN:7561340214
《躺着就能背单词2000》是一本教你快速记单词的英文学习用书。本书利用“睡眠学习法”帮助读者背单词,利用人在半睡半醒(假寐期)时,播放要背的单词,以此加深读者对单词的印象,极大地提升了学习效能。此外,书里......
马利琴编著2014 年出版248 页ISBN:9787564097592
书籍有一种强大的教育力量。阅读不仅能吸引孩子的理智和心灵,还能激起孩子对世界、对自己的深思。培养孩子的阅读兴趣,让孩子喜欢上读书,是家长献给孩子最好的礼物,也是家庭教育成功的一个重要标志。可是,孩子的...