当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0282秒)
为您推荐: 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
-
微分包含控制系统理论 【工业技术】
韩正之,蔡秀珊,黄俊著2013 年出版250 页ISBN:9787313102522本书是研究有限维微分包含控制系统的专著。作者将当前微分包含系统主要研究成果,归纳成集合值映射、集合值映射的选择、微分包含系统解的存在性定理、微分包含系统解的定性分析、微分包含系统的稳定性和单调...
-
-
-
-
-
-
计算机语言的形式语义 【工业技术】
陆汝钤编著1992 年出版886 页ISBN:7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
软件形式规格说明语言-Z 【工业技术】
缪淮扣,陈怡海编著2012 年出版299 页ISBN:9787302292777本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法,适合作为高校软件工程学科的教材使用。
-
学科分类
