当前位置：首页 > 名称
大约有532,910项符合查询结果项。（搜索耗时：0.6035秒）
为您推荐： 枪与玫瑰的使用方法 正版书籍 可开发票 美术设定集之逆水寒 正版书籍 可开发票 枪与玫瑰的使用方法 正版图书 售后无忧 枪与玫瑰的使用方法 新华书店 正版图书 枪与玫瑰的使用方法 title枪与玫瑰的使用方法 新版
-
软件开发的形式化工程方法
（日）刘少英著2008 年出版408 页ISBN：7302183171本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
-
-
-
面向Agent的软件设计开发方法
薛霄编著2009 年出版279 页ISBN：9787121079849本书主要介绍面向Agent的软件设计开放方法。共分三部分：第一部分介绍软件设计概念和简介；第二部分介绍基于Agent的软件设计方法学（即Gaia, Tropos和MaSE），此外，还介绍其他四种方法（即ADELFE, MESSAGE和Promotheus）...
-
-
-
-
-
红层地下水勘查开发的理论及方法
王宇，朱春林，李燕等编著2008 年出版151 页ISBN：9787116058194本书以系统科学和现代水文地质学理论为指导，总结了红层水文地质条件、形成及运动特征；提出红层地下水分类方案，建立明确找水标志；选出红层地下水勘查与开发的有效技术方法。...
-
网络服务可生存性模型、评价方法与管理策略
王元卓著2010 年出版257 页ISBN：9787513001960本书以网络系统为研究背景，给出了具有自治性、动态性、分布性，异构性等特点的网络服务可生存性及其主要属性的定义和形式化描述，重点研究了基于随机Petri网的网络服务可生存性的模型和分析方法，并在计算分析的...
学科分类
出版时间