登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Hybrid Systems: Computation and Control
EISBN：
9783540697541
PISBN：
9783540643586
出版社：
Springer Berlin Heidelberg
出版类型：
Proceedings
出版时间：
1998
作者：
Thomas A. Henzinger,Shankar Sastry
主题词：
Processor Architectures,Special Purpose and Application-Based Systems,Software Engineering,Logics and Meanings of Programs
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Lecture Notes in Computer Science
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Hybrid Systems: Computation and Control
作者：
Magnus Egerstedt,Bud Mishra
EISBN：
9783540789291
出版社：
Springer Berlin Heidelberg
出版时间：
2008
Hybrid Systems: Computation and Control
作者：
Oded Maler,Amir Pnueli
EISBN：
9783540365808
出版社：
Springer Berlin Heidelberg
出版时间：
2003
Hybrid Systems: Computation and Control
作者：
Claire J. Tomlin,Mark R. Greenstreet
EISBN：
9783540458739
出版社：
Springer Berlin Heidelberg
出版时间：
2002
Hybrid Systems: Computation and Control
作者：
Freek Wiedijk,Oded Maler,Amir Pnueli
EISBN：
9783540365808
出版社：
Springer Berlin Heidelberg
出版时间：
2003
Hybrid Systems: Computation and Control
作者：
Rajeev Alur,George J. Pappas
EISBN：
9783540247432
出版社：
Springer Berlin Heidelberg
出版时间：
2004
Hybrid Systems: Computation and Control
作者：
Rupak Majumdar,Paulo Tabuada
EISBN：
9783642006029
出版社：
Springer Berlin Heidelberg
出版时间：
2009
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位