重庆电子科技职业大学图书馆
登录
书目检索
分类浏览
热门推荐
新书通报
期刊导航
读者荐购
信息发布
我的图书馆
简单检索
多字段检索
组合检索
检索结果
全部
图书
期刊
搜 索
在结果中检索
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
搜索
分数阶系统高阶逻辑形式化验证
的资源 共有
1
条结果,用时
0.002
秒
每页显示:
5
10
15
20
显示方式:
详细显示
列表显示
排序方式:
默认排序
题 名
出版日期
入藏时间
索书号
图书馆
图书馆(1)
资源类型
图书(1)
书目库
中文图书(1)
主题
微积分(1)
出版社
科学出版社(1)
出版时间
2023(1)
分数阶系统高阶逻辑形式化验证
—
赵春娜,蒋慕蓉著
索书号:
O172/224
标准编码:
978-7-03-062206-8
出版信息:
北京 科学出版社 2023
中文图书
收藏
馆藏预览
数据正在加载中……
数据正在加载中……
1
共有:1条记录
参考翻译
热门检索词
相关资源
CADAL电子资源(需自行注册后登录使用)
人工智能--高阶逻辑的WHEU系统
余一清
数字硬件的形式化验证
韩俊刚(主编);杜慧敏(主编)
北京大学出版社·北京
数字硬件的形式化验证
韩俊刚
数字电路形式化验证技术及其实现
毛维波
中国科学院研究生院
无线分数录入系统
刘涌
中国科学院研究生院
HCI协议的形式化描述、验证与实现
蔡海龙
中国科学院软件研究所
资产定价理论:逻辑分析和经验验证
刘晓峰著
经济科学出版社
分数
中国数学会上海分会中学数学研究委员会(编)
新知识出版社·上海
分布式操作系统形式化系统的研究
夏循斌
连分数
(苏联)А.Я.幸钦(著);刘诗俊;刘绍越
上海科学技术出版社·上海
分数步法
科学出版社
连分数
王昌锐译
徐氏基金会
连分数
王昌锐(译)
徐氏基金会出版·台北
单位分数
柯召;孙琦
人民教育出版社·北京
分数维
高安秀树;沈步明等
地震出版社