续资治通鉴 第九册

清代甘肃进士传记资料辑录

本书稿为辑录清代甘肃进士传记资料的文献类着作。在编排上以传记题材为类，每类下以传主进士中士时间为序。正文后以朱保炯、谢沛霖主编《明清进士题名碑路索引》、宣统《甘肃全省新通志》卷39《学校志·选举...

地方志人物传记资料索引 华北卷

本书为“地方志人物传记资料·华北卷”的索引，为查阅《地方志人物传记资料丛刊·华北卷》提供了极大的便利。

追思集 怀念廖苾光教授

Z形式规约切片的研究

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...

江苏文史资料 第111辑 常州文史资料 第13辑 常州名人传记 3

地方志人物传记资料丛刊 华东卷 上 26

本书共收录鲁、赣、闽、台四省地方志记载的人物5万人。

地方志人物传记资料丛刊 华东卷 上 33

本书共收录鲁、赣、闽、台四省地方志记载的人物5万人。

地方志人物传记资料丛刊 华东卷 上 4

本书共收录鲁、赣、闽、台四省地方志记载的人物5万人。

地方志人物传记资料丛刊 华东卷 上 78

本书共收录鲁、赣、闽、台四省地方志记载的人物5万人。