石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
龚浩然主编2016 年出版432 页ISBN：9787533683030
在本卷，作者首先着力探讨思维和言语问题，包括问题和研究方法、皮亚杰学说中儿童的言语与思维问题、斯通学说中的言语发展问题、思维和言语的发生根源、概念发展的实验研究、对童年期科学概念发展的研究。其次...
（瑞典）喜仁龙著；沈弘，聂书江编译2017 年出版533 页ISBN：9787218112985
本书共收录北京城照片400余幅，绘图70余幅，全面展现了紫禁城的城门、角楼、殿宇以及殿内外的建筑、装饰、皇城内的中南海、北海，城外的圆明园、颐和园等皇家园林的原貌，具有很高的历史资料价值。译文忠实原稿，语...
张杰客著绘2016 年出版189 页ISBN：9787508668369
本书以手绘漫画加随笔文字的方式，记录了北漂漫画家张杰客在“亲口”探访北京百年老铺的美食指南。最具北京特色的美味老店、网络上搜不到的北京小吃，从位置到味道，杰客用生动的画笔和朴实文字为你全部呈现！无论...
奚洁著2017 年出版269 页ISBN：9787305183249
本研究以外语教育规划为缘起，以英语作为世界通用语（ELF）、后结构主义的社会认同观、言语社区和想象的社区等理论为基础，使用实验研究、问卷调查和个人访谈的方法，调查当前中国的英语学习者对不同英语变体的语言...
台湾历史与文化研究辑刊 二编 第4册 道咸同时期台湾本土文人诗作研究（1821-1874） 下
许惠玟著2013 年出版628 页ISBN：9863222283
车德宝，车兴辰主编2011 年出版121 页ISBN：9787111344841
本书包含半自动空调系统、全自动空调系统、辅助加热系统、电控机械式驻车制动器、基本装置（自2008年5月起）、气体放电前照灯系统、多功能转向盘、舒适系统（自2008年5月起）、后窗遮阳卷帘、电动座椅系统（带记忆和...
