当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0120秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
Differential forms —— theory and practice = 微分形式 —— 理论与练习
Weintraub S. H.2015 年出版410 页ISBN：7560355184 -
Modular Forms and Fermat's Last Theorem = 模形式与费马大定理
Gary Cornell ; Joseph H. Silverman ; Glenn Stevens2014 年出版582 页ISBN：7510070174 -
-
-
SIX SHORT CHAPTERS ON AUTOMORPHIC FPRMS AND L-FUNCTIONS=自守形式与L-函数简明六章
2012 年出版123 页ISBN：7030331680这本小书的主题是数论中两个重要的课题，即L-函数理论中的MomentConjecture和GoroShimura（志村五郎）的periodconjectures，是笔者根据在中国、美国、土耳其等做的一些报告和讲座补充、改编而成的。这两个猜想的深...
-
-
TCP/IP详解 卷3：T/TP、HTTP、NNTP和UNIX域协议 英文版
（美）W.Richard Stevens著2010 年出版328 页ISBN：7115222541本书重点讲述高级协议，覆盖了当今TCP/IP编程人员和网络管理员必须熟练掌握的T/TCP（TCP事务协议）、HTTP（超文本传送协议）、NNTP（网络新闻传送协议）和Unix域协议。与前面两卷一样，本书有丰富的例子和实现的细节。...
-
WEB服务组合中组件服务的优化和验证技术研究 = COMPONENT SERVICE OPTIMIZATION AND VERIFICATION FOR WEB SERVICE COMPOSITION
陈莉萍2016 年出版230 页ISBN：9787030498779Web服务能方便将多个功能简单服务组合成具有新的业务含义的大粒度服务，满足用户更复杂的应用需求。在本书中，首先深度挖掘面向不同对象的QoS属性，建立QoS服务评价指标体系。利用人工免疫网络、模糊三角数，建立...
-
-
