登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Constraint-Based Verification
EISBN：
9780387307848
PISBN：
9780387259475
出版社：
Springer US
出版类型：
Monograph
出版时间：
2006
作者：
Jun Yuan,Carl Pixley,Adnan Aziz
主题词：
Circuits and Systems,Computer-Aided Engineering (CAD,CAE) and Design,Electrical Engineering
语种：
英语
所属数据库：
SpringerLink电子图书
2浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Constraint-Based Agents
作者：
Alexander Nareyek
EISBN：
9783540457466
出版社：
Springer Berlin Heidelberg
出版时间：
2001
Constraint-Based Scheduling
作者：
Philippe Baptiste,Claude Le Pape,Wim Nuijten
EISBN：
9781461514794
出版社：
Springer US
出版时间：
2001
Constraint-Based Agents
作者：
Alexander Nareyek
EISBN：
9783540457466
出版社：
Springer Berlin Heidelberg
出版时间：
2001
Inductive Databases and Constraint-Based Data Mining
作者：
Sašo Džeroski,Bart Goethals,Panče Panov
EISBN：
9781441977380
出版社：
Springer New York
出版时间：
2010
Constraint-Based Mining and Inductive Databases
作者：
Jean-François Boulicaut,Luc Raedt,Heikki Mannila
EISBN：
9783540313519
出版社：
Springer Berlin Heidelberg
出版时间：
2006
A Perspective of Constraint-Based Reasoning
作者：
Hans Werner Guesgen,Joachim Hertzberg
EISBN：
9783540471936
出版社：
Springer Berlin Heidelberg
出版时间：
1992
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位