检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E5%BD%A2%E5%BC%8F%E5%8C%96&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_pubdate=2019&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
形式化
, 检索到: 11 条结果, 检索时间: 0.063 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
形式化
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(6)
C 社会科学总论
(1)
F 经济
(1)
I 文学
(1)
O 数理科学与化学
(1)
P 天文学、地球科学
(1)
已经限定的分面
馆藏地点:
出版日期:
2019
x
图书馆
长江大学图书馆
(10)
文理学院图书馆
(2)
显示更多..
馆藏地点
东校区图书借阅室
(9)
西校区图书借阅室
(5)
武汉校区图书借阅室
(4)
文理学院城中书库
(2)
东二线书库(原社科分馆图书)
(1)
显示更多..
主题
研究
(4)
人工智能
(1)
古希腊
(1)
史诗
(1)
应用
(1)
建筑学
(1)
数据处理
(1)
模式识别
(1)
热力学
(1)
电子商务
(1)
社会科学
(1)
离散数学
(1)
空间信息系统
(1)
系统建模
(1)
组织管理
(1)
自动检测系统
(1)
行为模式
(1)
计算
(1)
计算方法
(1)
计算机应用
(1)
显示更多..
著者
(法) 简-埃蒙德·阿布瑞尔著
(1)
(美) 杰夫·多尔蒂著
(1)
(英) m. i. 芬利著
(1)
m. i. finley
(1)
刘淳
(1)
刘淳, 曾毅译
(1)
多尔蒂
(1)
曾毅
(1)
朱保平
(1)
朱保平 ... [等] 编著
(1)
李德仁
(1)
李德仁, 王树良, 李德毅著
(1)
李德毅
(1)
李震
(1)
李震著
(1)
李麟学
(1)
李麟学编著
(1)
欧阳城添
(1)
殷娟娟
(1)
殷娟娟, 答凯艳, 程国建译
(1)
显示更多..
出版日期
[2019]
(11)
显示更多..
文献类型
图书
(11)
显示更多..
语言种类
汉语
(10)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
软件安全性需求形式化建模和验证
订购中
(含光盘)
著者:
李震
出版社:
江苏大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TP311.5/761
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Event-B建模:系统和软件工程
订购中
(含光盘)
著者:
阿布瑞尔
出版社:
人民邮电出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TP311.5/757
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
区块链本质
已借1次.
订购中
(含光盘)
著者:
陈鹏著
出版社:
清华大学出版社
出版日期: 2019.1
文献类型:
图书 , 索书号:
F713.361.3/15
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
模式识别与分类导论
已借4次.
订购中
(含光盘)
著者:
多尔蒂
出版社:
机械工业出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TP391.4/230
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
离散数学
已借1次.
订购中
(含光盘)
著者:
朱保平
陆建峰
金忠
出版社:
清华大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O158/234
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
粒计算与数据推理
订购中
(含光盘)
著者:
闫林
闫硕
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TP18/381
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
空间数据挖掘理论与应用
订购中
(含光盘)
著者:
李德仁
王树良
李德毅
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
P208-39/3/3
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
热力学建筑原型
订购中
(含光盘)
著者:
李麟学
出版社:
同济大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TU-05/24
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
Büchi自动机模型检测及其安全性分析应用研究
订购中
(含光盘)
著者:
王曦
欧阳城添
出版社:
中南大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
TP274/526
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
奥德修斯的世界
已借1次.
订购中
(含光盘)
著者:
芬利
出版社:
北京大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
I545.072/21
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>