李莹,吴江琴著2010 年出版200 页ISBN:9787308066679
本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
吴江市七都镇人民政府,吴江市档案局,吴江市地方志办公室编2010 年出版184 页ISBN:9787806945803
本书是旧志整理。儒林六都,属今吴江市七都镇,位于太湖之滨,自古以鱼耕桑蚕为生。本书共二卷,分疆域、风俗、图圩、土田、艺文等目,较为全面地记载了六都的历史沿革、风俗物产、诗文逸事等。据民国时期抄本整理。...
吴江市平望镇人民政府,吴江市档案局编2011 年出版338 页ISBN:7806947043
本书是乡镇旧志整理。本书辑录清代乾隆、道光、光绪三朝平望志稿。《平望镇志》四卷,题里人公辑;《平望志》十八卷,首一卷,(清)翁广平撰;《平望续志》十二卷,首一卷,(清)黄兆柽撰。据抄本、刊本点校整理。...
吴江市平望镇人民政府,吴江市档案局编2011 年出版553 页ISBN:7806947043
本书是乡镇旧志整理。本书辑录清代乾隆、道光、光绪三朝平望志稿。《平望镇志》四卷,题里人公辑;《平望志》十八卷,首一卷,(清)翁广平撰;《平望续志》十二卷,首一卷,(清)黄兆柽撰。据抄本、刊本点校整理。...
吴江区档案局,吴江区方志办编2014 年出版316 页ISBN:9787555401421
本书主要收录了历史上在吴江地区曾经担任过知县的历史名人,时间跨度从宋代直至清末。全书共收录了四百五十余名吴江主政者的资料,其中既有明嘉靖年间的抗倭名人杨芷,又有康熙年间刚正不阿的郭琇。除记录这些主...