预订 Formal Methods for Open Object-Based Distribute... 978354
海外仓库发货,通常付款后4-9周到货!
/ 2003-11-10
/ Springer
图书信息 书号: 9783540204916 作者: Elie Najm 装帧: 平装-胶订 页数: 340页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2003-11-10 重量: 454g 语种: 其它(含多语) 内容简介 This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 Inter
¥980.00
【预订】Sustainable Nanotechnology and the Environment: Advances
国外库房发货,通常付款后3-5周到货!
/ 2013-10-17
Product Details 基本信息 ISBN-13 书号 9780841227842 Author 作者 Shamim Najm Format 版本 精装 Pages Number 页数 384页 Publisher 出版社 Oxford University Press Publication Date 出版日期 2013-10-17 Shipping Weight 商品重量 646g Language 语种 英语 Book Contents 内容简介 Combines green chemistry, sustainability, and nanotechnology, in order to create approaches for green nanotechnology.
¥1386
网络与分布式系统用形式化技术 - FORTE 2006/会议录(书与在线文件) Formal techniques fo
/ 2006-12-01
/ 湖南文艺出版社
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
¥740.90定价:¥937.90(7.9折)