登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Computer-Aided Reasoning
EISBN：
9781461544494
PISBN：
9781461370031
出版社：
Springer US
出版类型：
Contributed volume
出版时间：
2000
作者：
Matt Kaufmann,Panagiotis Manolios,J. Strother Moore
主题词：
Computing Methodologies,Programming Languages,Compilers,Interpreters,Software Engineering/Programming and Operating Systems,Computer Science,general
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Advances in Formal Methods
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Computer-Aided Reasoning
作者：
Matt Kaufmann,Panagiotis Manolios,J Strother Moore
EISBN：
9781475731880
出版社：
Springer US
出版时间：
2000
Computer-Aided Reasoning
作者：
Matt Kaufmann,Panagiotis Manolios,J. Strother Moore
EISBN：
9781475731880
出版社：
Springer US
出版时间：
2000
Computer-Aided Reasoning
作者：
Matt Kaufmann,Panagiotis Manolios,J Strother Moore
EISBN：
9781461544494
出版社：
Springer US
出版时间：
2000
Computer-aided Drawing and Design
作者：
Davies
EISBN：
9789401130745
出版社：
Springer Netherlands
出版时间：
1991
COMPUTER-AIDED MODELLING AND SIMULATION
作者：
JAN A.SPRIET AND GHISLAIN C.VANSTEENKISTE
PISBN：
0126590508
Computer-aided Assembly Planning
作者：
A. Delchambre
EISBN：
9789401123228
出版社：
Springer Netherlands
出版时间：
1992
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位