何克清,何扬帆,王翀等著2008 年出版307 页ISBN:9787030226044
本书将软件工程的元建模方法与公共逻辑范畴的自然、直观的本体论相融合,为信息资源的有效利用和深度共享提供了有力的保障。
刘万毅著2004 年出版114 页ISBN:7227027112
本书概论绿色有机合成化学的原理、基本问题以及发展简史、最新进展,应用绿色有机合成原理研究了一系列新型固态有机反应,获得了近50个新的化合物。...
(美)(D.M.贝茨)Douglas M.Bates,(加)(D.G.沃茨)Donald G.Watts著;韦博成等译1997 年出版409 页ISBN:7503722940
(美)沃菲尔德(Warfield J.N.)著;曹庆仁译2006 年出版350 页ISBN:7811072386
本书论述了结构复杂性学派的理论、方法及其应用实例。全书分绪论、表达、应用和拓展四部分。
(美)休伊特(HewittE.)著2014 年出版519 页ISBN:9787510070334
本书是Springer专著系列之一,分为上下两卷,这是第一卷。书的内容以作者在Washington大学和Uppsala大学的教程为基础,增加扩充整理而来的。旨在为实分析、集理论拓扑和代数专业的研究生提供可读的教程,也就是说...