形式化框架下置换和查找类算法的组装生成 【工业技术】

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

中国钓鱼岛及其附属岛屿地名和监视监测图集 【天文地球】

钓鱼岛及其附属岛屿是中国领土不可分割的一部分。根据钓鱼岛地名管理、监视监测等工作的相关资料和成果，结合我国政府公布的钓鱼岛及其附属岛屿领海基线、大比例尺地形图海图、高分辨率卫星遥感影像、海监定...

妈妈，请这样爱我 爱是呼应、连续和接纳 【文化科学教育体育】

本书是家庭教育类图书，是《妈妈，请这样爱我》的第2版。书里的所有故事都发生在作者林巨自己开办的花径幼儿园里，本书的核心概念是“无分别的爱”，意为孩子的行为没有好坏，是父母基于自己的价值判断给孩子的行为....

智能传感器 医疗、健康和环境的关键应用 【工业技术】

在智能时代，智慧医疗、穿戴式运动追踪、生活环境监测等相关科技产品正逐渐改变人类的生活方式，而这其中传感器起着关键作用。本书正是基于此从基本理论和现实具体案例应用等方面对传感器技术在医疗、健康和环...

开心宝宝学涂画 交通工具和兵器 【文化科学教育体育】

这是一套幼儿涂画书，全书共分8册，分别为《动物》《建筑和风景》《交通工具和兵器》《人物》《生活用品》《食物》《玩具和服饰》《植物》。 本套丛书包括人物、植物、动物、食物、生活用品、玩具和服饰、建筑...

都柏林文学地图 地理人文和文学 外国随笔书籍 【文学】

本书为《布鲁姆文学地图译丛》之一。巴黎是浪漫的代各词，是“光明之城”最好的诠释。在这里，你可以欣赏巴尔扎克的《人间喜剧》、感受雨果的《悲惨世界》、品味波德莱尔的《恶之花》、观察左拉的《小酒店》。...

柑橘优新品种和繁殖技术问答 【农业科学】

全书分为四章。第一章 概述；第二章 优新品种特性及优质丰产栽技术，介绍20个左右的柑橘优新品种；第三章柑橘的繁殖技术，介绍嫁接、高接换种和其他繁殖技术。第四章柑橘苗木的病虫害防治技术，介绍危害苗木、高接换...

马克思 马·柯瓦列夫斯基 公社土地占有制 其解体的原因 进程和结果 一书摘要 研究读本 【马列毛邓】

追寻历史 一个记者和他的20世纪 【文学】

本书为著名记者白修德先生的回忆录，作者以诚实的态度、丰富的细节追述了自己的一生经历。生于美国波士顿，童年坎坷以卖报为生；后进入哈佛大学读书，师从著名汉学家费正清；大学毕业后来到中国，抗日战争时期作为《.....

上海合作组织区域和国别环境保护研究 2016 【环境安全】

本书分为上、中、下三篇，上篇重点选取上合组织区域重点环保国际合作机制，分别从组织机构、合作领域、在环保合作领域的进展及已签署的合作协议等方面进行整体梳理。中篇是对上合组织新加入的两个对话伙伴国（亚...