检索
高级检索
集群检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
图书专题
图书荐购
读者荐购
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E7%8E%8B%E5%BE%B7%E5%86%9B&searchType=standard&isFacet=true&view=standard&searchWay=author&booktype=1&booktype=2&booktype=3&booktype=4&booktype=5&booktype=7&booktype=8&booktype=9&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
booktype=1&booktype=2&booktype=3&booktype=4&booktype=5&booktype=7&booktype=8&booktype=9&rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
王德军
, 检索到: 18 条结果, 检索时间: 0.047 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
王德军
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(13)
G 文化、科学、教育、体育
(1)
I 文学
(1)
K 历史、地理
(1)
R 医药、卫生
(1)
T 工业技术
(1)
图书馆
仓山区图书馆
(1)
马尾馆
(1)
福州图书馆
(1)
永泰图书馆
(9)
显示更多..
馆藏地点
成人阅览室
(8)
七楼:自然科学文献(外借)
(1)
琅岐镇文化站
(1)
中文书库
(1)
密集书库
(1)
农家书屋总库
(1)
新馆_外借室
(1)
马尾文化站
(1)
显示更多..
主题
入学考试
(13)
高等数学
(13)
硕士生
(9)
研究生
(4)
gct
(1)
作文课
(1)
小儿疾病
(1)
布什
(1)
恐怖小说
(1)
推拿
(1)
本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用pi演算、一阶定理证明器proverif及应用、概率进程演算blanchet演算、自动化安全协议证明器
(1)
现代
(1)
美国
(1)
长篇小说
(1)
高中
(1)
显示更多..
著者
王德军
(17)
王欢
(13)
王欢,王德军,童武主编
(12)
童武
(12)
王德军译
(2)
(美)乔治·d. 舒曼著
(1)
(美)史考特·迪克斯,(美)彼得·希勒伦著
(1)
孟博,王德军著
(1)
希勒伦
(1)
王德军主编
(1)
王德军著
(1)
王欢,王德军主编
(1)
舒曼
(1)
迪克斯
(1)
显示更多..
出版日期
2014
(9)
2012
(3)
2007
(1)
2008
(1)
2013
(1)
2018
(1)
2019
(1)
2023
(1)
显示更多..
文献类型
图书
(15)
非书资料
(3)
显示更多..
语言种类
汉语
(18)
显示更多..
在馆
在馆
(11)
不在馆
(7)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
规范作文111讲
订购中
著者:
王德军
出版社:
吉林文史出版社有限责任公司
出版日期: 2023
文献类型:
图书 , 索书号:
G634.34/203
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
图解小儿推拿:妈妈是孩子最好的按摩医
已借36次.
订购中
著者:
王德军
出版社:
中国医药科技出版社
出版日期: 2018
文献类型:
图书 , 索书号:
R244.15-64/WD9
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
安全协议实施安全性自动化分析与验证
订购中
著者:
孟博,王德军著
出版社:
科学出版社
出版日期: 2019.11
文献类型:
图书 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
阅卷人点拨考研数学历届真题15天突破.数学二
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
阅卷人点拨考研数学历届真题15天突破.数学一
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
阅卷人点拨考研数学历届真题15天突破.数学三
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
非书资料 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
阅卷人点拨考研数学历届真题15天突破.数学一
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
图书 , 索书号:
O13-44/WH
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
考研数学客观题27天突破1500题.数学三
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
图书 , 索书号:
O13-44/WH
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
考研数学客观题15天突破1500题.数学二
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
图书 , 索书号:
O13-44/WH
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
考研数学最后冲刺超越135分.数学二
订购中
著者:
王欢
王德军
童武
出版社:
中国石化出版社
出版日期: 2014
文献类型:
图书 , 索书号:
O13-44/WH
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>