登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
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
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
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 and technology of clean energy : Selected peer-reviewed papers from 2nd International Conf
作者:
International Conference on Clean Energy Materials and Technology
ISBN:
9783035716405
出版社:
Zurich, Switzerland : Trans Tech Publications Ltd, 2020.
出版年:
2020
Energy and materials research for the future : selected, peer reviewed papers from the 2014 2nd Inte
作者:
International Conference on Future Energy & Materials Research
ISBN:
9783038354260
出版社:
Pfaffikon, Switzerland : Trans Tech Publications, c2015.
出版年:
2015
Development of industrial manufacturing : selected, peer reviewed papers from the 2013 2nd Internati
作者:
International Conferences on Sustainable Energy and Environmental Engineering
ISBN:
9783038350231
出版社:
Durnten-Zurich ; Enfield, NH : Trans Tech, c2014.
出版年:
2014
×
访问借阅管理系统