程序设计语言的形式语义

GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译2004 年出版283 页ISBN：7111131533

本书是计算机专业本科生研究生形式语义学教材。

上海工艺美术精品

邵志清，贺寿昌主编2010 年出版177 页ISBN：9787545207521

本书以图文并茂的形式介绍了经专家组评审认定的93件上海市工艺美术精品，这些作品创意新颖，构思巧妙，是上海“海纳百川、追求卓越、开明睿智、大气谦和”的城市精神的浓缩。...

2011年上海集成电路产业发展研究报告

邵志清主编2222 年出版326 页ISBN：

上海传统工艺美术品种技艺

上海市经济和信息化委员会编；邵志清，贺寿昌主编2010 年出版181 页ISBN：9787545207569

本书以图文并茂的形式介绍了经专家组评审认定的22项上海市传统工艺美术品种和20项传统美术技艺的制作工具和工艺流程。这些工艺品种历史悠久、技术精湛，具有鲜明的民族风格和地方特色。...

离散数学

邵志清，虞慧群编著（华东理工大学信息学院）2003 年出版231 页ISBN：7505390066

本书由7章组成，内容主要包括：集合、函数、矩阵、关系、命题逻辑、谓词逻辑、代数系统、无向图、有向图、树以及附录等。在定义的描述、例题的选择、定理证明的组织、习题的安排等方面都作了精心的考虑，使读者...

2010年上海集成电路产业发展研究报告

邵志清主编2010 年出版290 页ISBN：9787544429771

本书着重介绍本年度上海集成电路产业的发展态势，可为相关政府部门、业界人士和有志参与上海集成电路产业发展的海内外人士提供了解上海集成电路产业发展情况的参考资料。...

2015年上海集成电路产业发展研究报告

邵志清主编2015 年出版351 页ISBN：9787543967281

本书由上海集成电路相关领域的专家组织编写，真实而详细记录了近一年多来全球半导体产业、国内和上海集成电路产业发展的主要数据和重要事例，对于业内读者具有较高的参考价值。本书内容共8章，系统性较强，数据详...

新幻术 工具书

陈曾安，邵志礼编绘1960 年出版57 页ISBN：T10095·676

壮族文化重组与再生

邵志忠著1994 年出版234 页ISBN：7219028288

常州戏剧家

邵志强主编1998 年出版204 页ISBN：710400887X