软件行为学 屈延文 著 电子工业出版社【放心购买】 【速开发票，优质售后，支持7天无理由退换】
本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥21.00定价：¥45.00 (4.67折)
软件行为学屈延文 著电子工业出版社9787121004544 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥30.50定价：¥164.00 (1.86折)
软件行为学 屈延文 著【速开发票，优质售后，支持7天无理由退换】 【正版】
本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥37.06定价：¥154.12 (2.41折)
软件行为学 屈延文 著【正版】 【速开发票，优质售后，支持7天无理由退换】
本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥30.00定价：¥148.00 (2.03折)
软件行为学屈延文 著电子工业出版社9787121004544 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书系统、详细地讨论了软件行为，尤其是群体软件行为；深入研究了代理或多代理群体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法；又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题；同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材；是信息学科硕士、博士生的书籍；同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥30.50定价：¥164.00 (1.86折)
形式语义学基础与形式说明(第二版) 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥30.60定价：¥33.66 (9.1折)
中国信息安全测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合
¥35.30定价：¥59.00 (5.99折)
形式语义学基础与形式说明（第二版） 屈延文 【店主推荐，正版书放心购买，可开发票】
本书版是20世纪80年代国家计算机软件专业教材编委会推荐教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥14.93定价：¥74.79 (2折)
银行行为控制 银行信息化与安全 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是《软件行为学》系列学术著作之一。本书面向银行领域的物理世界风险监管和网络虚拟世界信息化与安全的基本问题，提出了解决问题的理论、模型、方法与方案。本书不仅对银行，而且对全国各行业信息化具有实际指导，借鉴和参与意义。本书最突出的成果是 其一，实现软件行为学提出的软件与代理组织模式与行为模式体系建立。其二，对通信安全方面提出了具有重大改革意义的新的技术体制。其三，建立了新的信息化总体和信息安全方法论的总体框架，包括信息化关键技术领域的互劋作性、安全应急、用户技术标准化、技术法规体系、测评认证体系、信息监管/监控体系、信息化配置管理体系等。本书面向金融行业的经营者、信息化工程领导与实施的决策人员，以及IT技术人员，也可作为基他各行业信息化建设的参考用书。
¥14.38定价：¥72.81 (1.98折)
¥43.22定价：¥374.44 (1.16折)
软件行为学【可开电子发票】 【正品保证，进入店铺更多优惠！】
¥44.00定价：¥266.00 (1.66折)
形式语义学基础与形式说明（第二版）【正版书籍】 【正品保证，进入店铺更多优惠！】
本书版是20世纪80年代国家计算机软件专业教材编委会教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥29.50定价：¥237.00 (1.25折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥95.69定价：¥317.07 (3.02折)
¥44.00定价：¥89.00 (4.95折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥96.38定价：¥319.14 (3.02折)
银行行为监管:银行监管信息化【正版图书，电子发票】 【正版】
¥20.00定价：¥180.00 (1.12折)
本书系统、详细地讨论了软件行为，尤其是裙体软件行为 深入研究了代理或多代理裙体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法 又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题 同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材 是信息学科硕士、博士生的书籍 同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥20.84定价：¥90.90 (2.3折)
软件行为学 屈延文 【正版】 【店主推荐，正版书放心购买，可开发票】
本书系统、详细地讨论了软件行为，尤其是裙体软件行为 深入研究了代理或多代理裙体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法 又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题 同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材 是信息学科硕士、博士生的书籍 同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥21.31定价：¥92.22 (2.32折)
软件行为学 屈延文 著 电子工业出版社【达额立减】 正版图书，下单前请先咨询客服，欢迎选购！
¥44.00定价：¥106.00 (4.16折)
形式语义学基础与形式说明 （第二版） 屈延文 【正版】 【店主推荐，正版书放心购买，可开发票】
本书版是20世纪80年代国家计算机软件专业教材编委会推荐教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥15.46定价：¥76.38 (2.03折)
银行行为监管-银行监管信息化【正版】 【正版图书，达额减，电子发票】
本书是《软件行为学》系列学术著作之一。本书讨论了银行领域在物理世界和网络虚拟世界中风险监管的这一世界性重大课题，包括风险监管、业务内容监管、业务行为监管、系统行为监管、信息内容监管、监管信息与系统在不同范围内的综合与抽象、信息自下而上汇总的行为监管和政策自上而下传导的行为监管。本书为在物理世界和网络虚拟世界建立规范的世界秩序提出了一系列新的理论、方法、解决方案和具体设计，并建立了相关模型。这不仅对银行，而且对全国各行业信息化都具有实际指导意义。本书最为突出的成果是 其一，银行风险监管综合认识体系的创建 其二，软件行为学在银行风险监管理论中指导地位的确立 其三，“南氏算法”的推出和新型身份与行为可信认证体系的构建 其四，提出了完整的银行风险监管信息化方案指南。本书面向金融行业的经营
¥20.00定价：¥50.00 (4折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥96.61定价：¥319.83 (3.03折)
¥47.06定价：¥174.12 (2.71折)
形式语义学基础与形式说明（第二版） 屈延文 【店主推荐，正版书放心购买，可开发票】
本书版是20世纪80年代国家计算机软件专业教材编委会推荐教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥15.57定价：¥76.71 (2.03折)
形式语义学基础与形式说明（版）屈延文科学出版社9787030262387 正版图书保证质量 七天无理由退货让您购物无忧
中国信息测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合 ;
¥22.70定价：¥59.00 (3.85折)
本书系统、详细地讨论了软件行为，尤其是裙体软件行为 深入研究了代理或多代理裙体的行为。它既是一本原理书籍，描述了软件行为的理论、模型、方法 又是一本计算机系统体系结构书籍，描述了软件行为在不同行为模式系统中的结构问题、运行模式问题、平台问题和应用问题 同时，还是一本反映现代计算机科学综合研究成果的方法学的教科书。本书结构清晰，内容丰富、权威，讲解深入透彻，可以作为大学计算机本科高年级学生和研究生教材 是信息学科硕士、博士生的书籍 同时，还可以作为所有行业从事信息技术工作的工程师、技术人员、系统人员和业务人员进修与提高的参考书。
¥21.23定价：¥91.59 (2.32折)
[按需印刷]网络世界再现生命学-中医学与现代生物行为学和系统学科学正版
¥290.80定价：¥291.00
¥37.06定价：¥154.12 (2.41折)
银行行为控制——银行信息化与安全 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥32.40定价：¥35.64 (9.1折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥96.88定价：¥320.64 (3.03折)
¥37.06定价：¥154.12 (2.41折)
【按需印制1】网络世界再现生命学-中医学与现代生物行为学和系统学【馨怡图书专营店】
¥503.15定价：¥503.15
中国信息安全测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合
¥27.00定价：¥134.00 (2.02折)
2册 数字银行安全体系构建+银行数字化风控业务与实践 数据安全威胁感知安全数智化红蓝演练银行业数据治理网络安全计算机网络
¥215.25定价：¥228.17 (9.44折)
形式语义学基础与形式说明（第二版） 屈延文 【店主推荐，正版书放心购买，可开发票】
本书版是20世纪80年代国家计算机软件专业教材编委会推荐教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥15.24定价：¥75.72 (2.02折)
¥17.00定价：¥134.00 (1.27折)
形式语义学基础与形式说明 （第二版） 【正版】 【店主推荐，正版书放心购买，可开发票】
本书版是20世纪80年代国家计算机软件专业教材编委会推荐教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章。介绍了指称语义学、代数语义学、劋作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥15.77定价：¥77.31 (2.04折)
[按需印刷]网络世界再现生命学-中医学与现代生物行为学和系统学科学出版社
¥290.72定价：¥290.72
【按需印刷】-网络世界再现生命学--中医学与现代生物行为学和系统学 按需印刷商品，发货时间20天，非质量问题不接受退换货。
POD产品说明：1. 本产品为按需印刷（POD）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。3. 按需印刷的图书制作成本高于传统的单本成本，因此售价高于原书定价。4. 按需印刷的图书，出版社生产周期一般为15个工作日（特殊情况除外）。请您耐心等待。5. 按需印刷的图书，属于定制产品，不可取消订单，无质量问题不支持退货。
¥368.00定价：¥368.00
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版图书】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥154.37定价：¥493.11 (3.14折)
【按需印制1】网络世界再现生命学-中医学与现代生物行为学和系统学【星愿文化 全新正版】 可开发票 如需请联系在线小当当客服
¥503.55定价：¥503.55
银行行为监管 银行监管信息化 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是《软件行为学》系列学术著作之一。本书讨论了银行领域在物理世界和网络虚拟世界中风险监管的这一世界性重大课题，包括风险监管、业务内容监管、业务行为监管、系统行为监管、信息内容监管、监管信息与系统在不同范围内的综合与抽象、信息自下而上汇总的行为监管和政策自上而下传导的行为监管。本书为在物理世界和网络虚拟世界建立规范的世界秩序提出了一系列新的理论、方法、解决方案和具体设计，并建立了相关模型。这不仅对银行，而且对全国各行业信息化都具有实际指导意义。本书最为突出的成果是 其一，银行风险监管综合认识体系的创建 其二，软件行为学在银行风险监管理论中指导地位的确立 其三，“南氏算法”的推出和新型身份与行为可信认证体系的构建 其四，提出了完整的银行风险监管信息化方案指南。本书面向金融行业的经营
¥8.91定价：¥56.73 (1.58折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 【正版】 【店主推荐，正版书放心购买，可开发票】
《网络世界再现生命学 中医学与现代生物行为学和系统学》是一本旨在网络世界中“再现生命”的科学书籍，主要从系统学、生物行为学、计算机科学、信息化科学和新数学的视角，对生命科学、生物学和医学，包括中医学，进行新描述和新论述，并由此产生一门新的学科，即在网络世界中再现生命或生物体的新学科和新专业。本书由中医学理论框架概论、生命科学的现状与困惑、中医学与生命科学发展的新动力、经络系统是生物感受表达的基础网络系统、中医学的新理论基础、网络世界再现生命体系结构概论、生物学方法再现人体运行系统、中医学方法再现人体运行系统、生物世界的行为学概论和网络世界行为学概论等部分组成。本书提出的现代生物行为学和系统学为中医奠定新理论基础，尤其是承认和深入研究经络系统，必将为现代生物学发展提供强大动力。
¥96.06定价：¥318.18 (3.02折)
形式语义学基础与形式说明屈延文科学出版社9787030262387 ; 978-7-03-026238-7
中国信息安全测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合
¥19.37定价：¥59.00 (3.29折)
¥227.30定价：¥269.00 (8.45折)
形式语义学基础与形式说明屈延文 编科学出版社9787030262387 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书第一版是20世纪80年代国家计算机软件专业教材编委会教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。 全书共分十章。介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。 本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥23.40定价：¥149.80 (1.57折)
银行行为监管:银行监管信息化 屈延文 著【正版】 【速开发票，优质售后，支持7天无理由退换】
本书是《软件行为学》系列学术著作之一。本书讨论了银行领域在物理世界和网络虚拟世界中风险监管的这一世界性重大课题，包括风险监管、业务内容监管、业务行为监管、系统行为监管、信息内容监管、监管信息与系统在不同范围内的综合与抽象、信息自下而上汇总的行为监管和政策自上而下传导的行为监管。 本书为在物理世界和网络虚拟世界建立规范的世界秩序提出了一系列新的理论、方法、解决方案和具体设计，并建立了相关模型。这不仅对银行，而且对全国各行业信息化都具有实际指导意义。 本书最为突出的成果是：其一，银行风险监管综合认识体系的创建；其二，软件行为学在银行风险监管理论中指导地位的确立：其三，“南氏算法 ”的推出和新型身份与行为可信认证体系的构建；其四，提出了完整的银行风险监管信息化方案指南。 本
¥17.00定价：¥122.00 (1.4折)
形式语义学基础与形式说明（版）屈延文9787030262387 科学出版社形式语义学研究人天图书专营店 正版图书保证质量 七天无理由退货让您购物无忧
中国信息测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合 ;
¥26.45定价：¥59.00 (4.49折)
正版书籍 形式语义学基础与形式说明 屈延文 编著 科学出版社 正版图书支持发票 七天无理由退货让您购物无忧
中国信息安全测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合
¥35.40定价：¥59.00 (6折)
形式语义学基础与形式说明（第二版）屈延文 编科学出版社9787030262387 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书第一版是20世纪80年代国家计算机软件专业教材编委会教材之一。本书详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。 全书共分十章。介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。例如curry的组合逻辑，Martin-Lof的直觉主义数学的讨论都是近代计算机理论较重要的基础内容。 本书内容丰富，重点突出，并配有大量习题，可作为高等院校电子信息、计算机科学专业本科高年级学生、研究生的教材，也可供信息技术人员和计算机软件设计、工程人员参考。
¥23.80定价：¥104.70 (2.28折)
形式语义学基础与形式说明(第二版)屈延文签名本 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥201.64
银行行为监管:银行监管信息化 屈延文 著 电子工业出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
本书是《软件行为学》系列学术著作之一。本书讨论了银行领域在物理世界和网络虚拟世界中风险监管的这一世界性重大课题，包括风险监管、业务内容监管、业务行为监管、系统行为监管、信息内容监管、监管信息与系统在不同范围内的综合与抽象、信息自下而上汇总的行为监管和政策自上而下传导的行为监管。 本书为在物理世界和网络虚拟世界建立规范的世界秩序提出了一系列新的理论、方法、解决方案和具体设计，并建立了相关模型。这不仅对银行，而且对全国各行业信息化都具有实际指导意义。 本书最为突出的成果是：其一，银行风险监管综合认识体系的创建；其二，软件行为学在银行风险监管理论中指导地位的确立：其三，“南氏算法 ”的推出和新型身份与行为可信认证体系的构建；其四，提出了完整的银行风险监管信息化方案指南。 本
¥12.09定价：¥24.58 (4.92折)
银行行为监管:银行监管信息化 屈延文 著【速开发票，优质售后，支持7天无理由退换】 【正版】
本书是《软件行为学》系列学术著作之一。本书讨论了银行领域在物理世界和网络虚拟世界中风险监管的这一世界性重大课题，包括风险监管、业务内容监管、业务行为监管、系统行为监管、信息内容监管、监管信息与系统在不同范围内的综合与抽象、信息自下而上汇总的行为监管和政策自上而下传导的行为监管。 本书为在物理世界和网络虚拟世界建立规范的世界秩序提出了一系列新的理论、方法、解决方案和具体设计，并建立了相关模型。这不仅对银行，而且对全国各行业信息化都具有实际指导意义。 本书最为突出的成果是：其一，银行风险监管综合认识体系的创建；其二，软件行为学在银行风险监管理论中指导地位的确立：其三，“南氏算法 ”的推出和新型身份与行为可信认证体系的构建；其四，提出了完整的银行风险监管信息化方案指南。 本
¥16.62定价：¥121.24 (1.38折)
银行行为控制——银行信息化与安全 作者屈延文 南相浩 韩玮玺 林鹏 王贵驷 王永红 签名 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥44.80定价：¥49.28 (9.1折)
形式语义学基础与形式说明 屈延文 编著 科学出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
中国信息安全测评中心自然科学基金项目内容组成之一 站在软件立场上讨论计算机科学的理论及其应用 详细给出形式语义学的基础理论框架 理论与软件实践相结合
¥11.00定价：¥29.00 (3.8折)
网络世界再现生命学 中医学与现代生物行为学和系统学 屈延文、李明生 科学出版社
¥450.00定价：¥450.00
¥42.55定价：¥165.10 (2.58折)
银行行为监管:银行监管信息化【正版书籍，满额减，电子发票】 正版
¥22.00定价：¥124.00 (1.78折)
网络世界再现生命学--中医学与现代生物行为学和系统学 屈延文,李明生 科学出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
《网络世界再现生命学:中医学与现代生物行为学和系统学》可供广大电工人员学习参考，亦可作为工科院校相关专业师生必不可少的学习参考资料。
¥367.00定价：¥741.37 (4.96折)
网络世界再现生命学--中医学与现代生物行为学和系统学 正版图书，实体店销售，可出清单，开发票
¥368.00定价：¥368.00
