石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
龚浩然主编2016 年出版432 页ISBN：9787533683030
在本卷，作者首先着力探讨思维和言语问题，包括问题和研究方法、皮亚杰学说中儿童的言语与思维问题、斯通学说中的言语发展问题、思维和言语的发生根源、概念发展的实验研究、对童年期科学概念发展的研究。其次...
张杰客著绘2016 年出版189 页ISBN：9787508668369
本书以手绘漫画加随笔文字的方式，记录了北漂漫画家张杰客在“亲口”探访北京百年老铺的美食指南。最具北京特色的美味老店、网络上搜不到的北京小吃，从位置到味道，杰客用生动的画笔和朴实文字为你全部呈现！无论...
奚洁著2017 年出版269 页ISBN：9787305183249
本研究以外语教育规划为缘起，以英语作为世界通用语（ELF）、后结构主义的社会认同观、言语社区和想象的社区等理论为基础，使用实验研究、问卷调查和个人访谈的方法，调查当前中国的英语学习者对不同英语变体的语言...
台湾历史与文化研究辑刊 二编 第4册 道咸同时期台湾本土文人诗作研究（1821-1874） 下
许惠玟著2013 年出版628 页ISBN：9863222283
车德宝，车兴辰主编2011 年出版121 页ISBN：9787111344841
本书包含半自动空调系统、全自动空调系统、辅助加热系统、电控机械式驻车制动器、基本装置（自2008年5月起）、气体放电前照灯系统、多功能转向盘、舒适系统（自2008年5月起）、后窗遮阳卷帘、电动座椅系统（带记忆和...
余姗姗著2012 年出版268 页ISBN：7510424305
本书是宫斗小说，但又不止于普通意义的宫斗，女主人公凤兮协助男主人公谈辛之夺得了天下，她不仅与女人斗，也与男人斗。故事设置于奚朝，一个行将末落的千苍百孔的王朝，凤兮的父亲护国大将军就是被众朝臣的腐败行为.....
徐金红著2011 年出版184 页ISBN：9787502456184
随着网络的普及以及电子商务技术的发展，利用电子商务平台进行网上竞价采购（即逆向拍卖）成为一种流行的采购方式。本书通过对逆向拍卖问题的深入研究，提出了在线逆向拍卖的概念，建立了能够即时决策的在线逆向拍卖...
