屈延文等著2004 年出版595 页ISBN:7121004127
本书是面向银行乃至整个金融信息化建设的专著,对其他行业也有借鉴作用。本书具有前瞻性、原理性、系统性和指南性,对整个银行信息化建设具有实际指导意义,对全国各行业也具有率先借鉴和参考意义。全书分为银行...
屈延文编著2010 年出版496 页ISBN:9787030262387
本书较详细地给出了形式语义学的基础理论框架,但它并不是一本纯理论的教材,而是一本理论与软件实践相结合的教材。全书共分十章,介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用,并介...
屈延文著2004 年出版566 页ISBN:7121004542
本书系统、详细地讨论了软件行为,尤其是群体软件行为;深入研究了代理或多代理群体的行为。它既是一本原理书籍,描述了软件行为的理论、模型、方法;又是一本计算机系统体系结构书籍,描述了软件行为在不同行为模式...
屈延文,韩玮玺,王永红,南相浩,林鹏,王贵驷等著2004 年出版429 页ISBN:7121004135
本书面向银行领域的物理世界风险监管和网络虚拟世界信息化与安全的基本问题,提出了解决问题的理论,模型,方法与方案。本书不仅对银行,而且对全国各行业信息化具有实际指导,借鉴和参与意义。本书最突出的成果是实...
屈延文;李明生著2012 年出版1123 页ISBN:9787030340634
本书用生物行为学、生物系统学、生物数学、生物物理、生物化学、干细胞生物学等知识结构与方法,完整、科学地介绍和描述了《黄帝内经》的科学内容,使世界认识了《黄帝内经》的科学价值。...
屈延文编著2006 年出版357 页ISBN:7121012715
当代信息化事业的发展,既需要以“产业为中心”的计算机科学,也需要“用户为中心”的信息化科学,信息化科学与计算机科学为整个信息化构成两个中心的新型的“太极”理论体系。本书对计算机科学的发展过程进行了...