返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
信息科学技术学术著作丛书
共有
4
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转:
出版年:"20130101"
可信编译构造理论与关键技术
:何炎祥, 吴伟
作者:
何炎祥, 吴伟
出版社:
科学出版社
出版时间:
20130101
ISBN:
978-7-03-036420-3
索书号:
TP314/65
分类号:
TP314
页数:
x, 228页
价格:
CNY60.00
丛书:
信息科学技术学术著作丛书
复本数:
在馆数:
累借天数:
累借次数:
本书全面系统地介绍了可信编译理论及其关键技术, 从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。同时, 本书还介绍了可信编译在嵌入式软件优化、绿色编译、软件测试以及可信软件开发过程中的应用与实践。
详细信息
索书号
展开
Petri网应用
:袁崇义
作者:
袁崇义
出版社:
科学出版社
出版时间:
20130101
ISBN:
978-7-03-036637-5
索书号:
TP393/688
分类号:
TP393
页数:
x, 223页
价格:
CNY50.00
丛书:
信息科学技术学术著作丛书
复本数:
在馆数:
累借天数:
累借次数:
本书以帮助读者用好Petri网为目的, 以实例深入浅出地介绍Petri网, 包括 (定性与定量的) 静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到本书中。
详细信息
索书号
展开
面向复杂系统的群集智能
:肖人彬
作者:
肖人彬
出版社:
科学出版社
出版时间:
20130101
ISBN:
978-7-03-037625-1
索书号:
TP18/102
分类号:
TP18
页数:
14,371页
价格:
CNY99.00
丛书:
信息科学技术学术著作丛书
复本数:
在馆数:
累借天数:
累借次数:
详细信息
索书号
展开
量子密码协议的设计和分析
:杨宇光
作者:
杨宇光
出版社:
科学出版社
出版时间:
20130101
ISBN:
978-7-03-037367-0
索书号:
TN918.2/6
分类号:
TN918.2
页数:
13, 219页
价格:
CNY60.00
丛书:
信息科学技术学术著作丛书
复本数:
在馆数:
累借天数:
累借次数:
本书分为9章。第1章为绪论, 主要介绍密码学的发展历史、量子密码学的发展历史、量子密码学与量子计算的关系以及量子密码学面临的挑战和应用前景;第2章为量子密码研究所需的量子力学基础知识;第3-9章分别介绍了量子密码协议的设计和安全性分析方法, 主要包括量子密钥分发和身份认证、量子安全直接通信、量子秘密共享、量子签名、安全多方量子计算、量子密码协议的安全性分析方法以及量子密集编码。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
4
)
出版社
科学出版社
(
4
)
只显示前10条......
科学出版社
(
4
)
查看更多信息......
作者
何炎祥, 吴伟
(
1
)
杨宇光
(
1
)
肖人彬
(
1
)
袁崇义
(
1
)
只显示前10条......
何炎祥, 吴伟
(
1
)
杨宇光
(
1
)
肖人彬
(
1
)
袁崇义
(
1
)
查看更多信息......
出版年
20130101
(
4
)
只显示前10条......
20130101
(
4
)
查看更多信息......
信息科学技术学术著作丛书
共有
4
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转: