重庆电子科技职业大学图书馆
登录
书目检索
分类浏览
热门推荐
新书通报
期刊导航
读者荐购
信息发布
我的图书馆
简单检索
多字段检索
组合检索
检索结果
全部
图书
期刊
搜 索
在结果中检索
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
搜索
分数阶系统高阶逻辑形式化验证
的资源 共有
1
条结果，用时
0.003
秒
每页显示：
5
10
15
20
显示方式：
详细显示
列表显示
排序方式：
默认排序
题 名
出版日期
入藏时间
索书号
图书馆
图书馆(1)
资源类型
图书(1)
书目库
中文图书(1)
主题
微积分(1)
出版社
科学出版社(1)
出版时间
2023(1)
分数阶系统高阶逻辑形式化验证
—
赵春娜,蒋慕蓉著
索书号：
O172/224
标准编码：
978-7-03-062206-8
出版信息：
北京 科学出版社 2023
中文图书
收藏
馆藏预览
数据正在加载中……
数据正在加载中……
1
共有：1条记录
参考翻译
热门检索词
相关资源
