返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
网络
共有
2
条记录
页码:
1
/
1
每页显示:
10
记录
跳转:
出版社:"科学出版社"
出版年:"20080001"
电子商务网络协议的形式化分析理论与应用
:谢晓尧
作者:
谢晓尧
出版社:
科学出版社
出版时间:
20080001
ISBN:
978-7-03-020032-7
索书号:
F713.36/385
分类号:
F713.36
页数:
146页
价格:
CNY30.00
丛书:
华夏英才基金学术文库
复本数:
在馆数:
累借天数:
累借次数:
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用,具体内容包括:电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全认证和交易的基本协议,以及协议的有色Petri网模型及分析的软件工具CP-Tools。同时,本书应用这些分析方法和工具具体分析了相产的认证和支付等协议。
详细信息
索书号
展开
WWW Internet、Web技术及应用
:(德) 迈内尔, 萨克, 于晨超
作者:
(德) 迈内尔, 萨克, 于晨超
出版社:
科学出版社
出版时间:
20080001
ISBN:
978-7-03-020696-1
索书号:
TP393.4/285
分类号:
TP393.4
页数:
791页
价格:
CNY69.00
丛书:
国外经典教材系列
复本数:
在馆数:
累借天数:
累借次数:
本书共分3个部分, 首先讲述了从绘画、图片到文字, 从动画、视频到流媒体等通信介质的完整发展过程 ; 其次探讨了internet网络互联技术的诸多细节 ; 最后探讨了Web应用技术。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
科学出版社
(
2
)
只显示前10条......
科学出版社
(
2
)
查看更多信息......
作者
(德) 迈内尔, 萨克, 于晨超
(
1
)
谢晓尧
(
1
)
只显示前10条......
(德) 迈内尔, 萨克, 于晨超
(
1
)
谢晓尧
(
1
)
查看更多信息......
出版年
20080001
(
2
)
只显示前10条......
20080001
(
2
)
查看更多信息......
网络
共有
2
条记录
页码:
1
/
1
每页显示:
10
记录
跳转: