登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Automated specification and verification of web systems : selected papers from the 2nd Int''l Worksho
出版社:
Los Alamitos, Calif. : IEEE Computer Society, c2007.
ISBN:
0769528260
出版年:
2007
作者:
International Workshop on Automated Specification and Verification of Web Systems
资源类型:
图书
细分类型:
西文文献
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Workshop Advances in Materials Science II : selected peer-reviewed full text papers from the 2nd Int
作者:
Workshop "Advances in Materials Sciences"
ISBN:
9783035716184
出版社:
Baech, Switzerland : Trans Tech Publications Ltd, 2022.
出版年:
2022
Automatic manufacturing systems II : selected, peer reviewed papers from the 2nd International Confe
作者:
International Conference on Advanced Engineering Materials and Technology
ISBN:
9783037854488
出版社:
Durnten-Zurich : Trans Tech, c2012.
出版年:
2012
Bioactive metabolites from microorganisms : selected papers from the 2nd International Symposium on
作者:
International Symposium on New Bioactive Metabolites from Microorganisms
ISBN:
0444880518
出版社:
Amsterdam ; New York : Elsevier ; New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsev
出版年:
1989
Materials science and industrial applications II : selected peer-reviewed papers from the 2nd Intern
作者:
International Conference on Materials Science and Industrial Applications
ISBN:
9783035715958
出版社:
Zurich, Switzerland : Trans Tech Publications Ltd, 2020.
出版年:
2020
Damage mechanics : theory, computation and practice : Selected, Peer Reviewed Papers from the 2nd In
作者:
International Conference on Damage Mechanics
ISBN:
9783038355502
出版社:
Pfaffikon SZ : Trans Tech Publications, 2015.
出版年:
2015
Sustainable energy : selected, peer reviewed papers from the 2013 2nd International Conference on Su
作者:
International Conference on Sustainable Energy and Environmental Engineering
ISBN:
9783038350217
出版社:
[Zurich], Switzerland : Trans Tech Publications, 2014.
出版年:
2014
×
访问借阅管理系统