Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN:354038619X
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN:354045778X
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN:354029810X
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN:3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN:3540230130
THIRTY YEARS SINCE THE OPENING-UP IN CHINA CHANGES IN GROWTH MODE, STRUCTURE AND SYSTEM
魏礼群主编2009 年出版397 页ISBN:9787010083032
本书列为2009法兰克福书展中国主宾国活动百种图书翻译出版资助项目,以英文版出版。本书中文版2008年12月,以人民出版社名义出版。原计划2009年8月出版,迟延到9月。...
Handbook of metathesis Volume2: Applications in Organic Synthesis Second Edition
Robert H. Grubbs ; Daniel J. OLeary2015 年出版744 页ISBN:3527339495