GlynnWinskel著;宋国新,邵志清,潘俊,孙霖等译2004 年出版283 页ISBN:7111131533
本书是计算机专业本科生研究生形式语义学教材。
邵志清,贺寿昌主编2010 年出版177 页ISBN:9787545207521
本书以图文并茂的形式介绍了经专家组评审认定的93件上海市工艺美术精品,这些作品创意新颖,构思巧妙,是上海“海纳百川、追求卓越、开明睿智、大气谦和”的城市精神的浓缩。...
上海市经济和信息化委员会编;邵志清,贺寿昌主编2010 年出版181 页ISBN:9787545207569
本书以图文并茂的形式介绍了经专家组评审认定的22项上海市传统工艺美术品种和20项传统美术技艺的制作工具和工艺流程。这些工艺品种历史悠久、技术精湛,具有鲜明的民族风格和地方特色。...
邵志清,虞慧群编著(华东理工大学信息学院)2003 年出版231 页ISBN:7505390066
本书由7章组成,内容主要包括:集合、函数、矩阵、关系、命题逻辑、谓词逻辑、代数系统、无向图、有向图、树以及附录等。在定义的描述、例题的选择、定理证明的组织、习题的安排等方面都作了精心的考虑,使读者...
邵志清主编2010 年出版290 页ISBN:9787544429771
本书着重介绍本年度上海集成电路产业的发展态势,可为相关政府部门、业界人士和有志参与上海集成电路产业发展的海内外人士提供了解上海集成电路产业发展情况的参考资料。...
邵志清主编2015 年出版351 页ISBN:9787543967281
本书由上海集成电路相关领域的专家组织编写,真实而详细记录了近一年多来全球半导体产业、国内和上海集成电路产业发展的主要数据和重要事例,对于业内读者具有较高的参考价值。本书内容共8章,系统性较强,数据详...