大约有9,000项符合查询结果项。（搜索耗时：0.0457秒）
为您推荐： 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
计算系统的形式语义 下 【工业技术】
陆汝钤著2017 年出版1856 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
计算系统的形式语义 上 【工业技术】
陆汝钤著2017 年出版926 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
森佩尔三个文本的形式原则比较研究 【工业技术】
王丹丹著2018 年出版295 页ISBN：9787564175207将建筑形式原则区分为结构形态原则、非结构形态原则和表面属性原则三类，在更长的历史脉络和更广的时代背景之下，对19世纪德国建筑理论家森佩尔（Gottfried Semper）三个文本（《彩饰初论》《四要素》和《风格论》）中...
-
剖面重构 功能、空间与形式 【工业技术】
庄欣，张险峰，王玮著2012 年出版183 页ISBN：9787502781460本书关注近两年来作者对于“剖面”这一建筑基本概念的一些思考：在这篇文章的写作过程就是把建筑的剖面再次的进行剖析，以发现其背后所隐藏的那些深层的东西，譬如：规律、空间、场所等等。以剖面为角度，以功能为对...
-
道教建筑的艺术形式与美学思想 【工业技术】
续昕著2014 年出版315 页ISBN：9787561473467本书主要研究中国古代道教建筑的艺术形式与美学思想。艺术形式主要从选址、布局、形态、室内、修葺等方面进行分析与研究。美学思想则从重柔、重人贵生、自然之美、返朴归真等几个与道教建筑表现形式联系紧...
-
壁画艺术与公共环境 当代壁画艺术形式与技法研究 【工业技术】
王艳编著2004 年出版120 页ISBN：756292161X本书为2004年财经创新与管理国际学术会议用论文集，主要包括产品创新和技术创新、中部区域经济发展与产业创新、组织创新和制度创新、财务管理与金融创新等。...
-
自然语言处理的形式模型 【工业技术】
冯志伟著2010 年出版638 页ISBN：9787312022531本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自...
-
-
网络协议的形式化分析与设计 【工业技术】
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
-
软件开发的形式化工程方法 【工业技术】
（日）刘少英著2008 年出版408 页ISBN：7302183171本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...