登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Tools and algorithms for the construction and analysis of systems : 26th International Conference T
出版社：
Cham, Switzerland : Springer Open, 2020.
ISBN：
9783030451899
出版年：
2020
作者：
TACAS 2020
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Tools and algorithms for the construction and analysis of systems : 26th International Conference, T
作者：
TACAS 2020
ISBN：
9783030452360
出版社：
Cham, Switzerland : Springer, 2020.
出版年：
2020
Tools and algorithms for the construction and analysis of systems : 27th International Conference, T
作者：
TACAS 2021
ISBN：
9783030720155
出版社：
Cham, Switzerland : Springer, 2021.
出版年：
2021
Tools and algorithms for the construction and analysis of systems : 27th International Conference, T
作者：
TACAS 2021
ISBN：
9783030720124
出版社：
Cham, Switzerland : Springer, 2021.
出版年：
2021
Tools and algorithms for the construction and analysis of systems : 24th International Conference, T
作者：
TACAS 2018
ISBN：
9783319899626
出版社：
Cham, Switzerland : Springer Open, 2018.
出版年：
2018
Tools and algorithms for the construction and analysis of systems : 24th International Conference, T
作者：
TACAS 2018
ISBN：
9783319899596
出版社：
Cham, Switzerland : Springer Open, 2018.
出版年：
2018
Tools and algorithms for the construction and analysis of systems : 12th international conference, T
作者：
TACAS 2006
ISBN：
3540330569
出版社：
Berlin ; New York : Springer, c2006.
出版年：
2006
×
访问借阅管理系统
问图书管理员
馆际互借