Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN：9781605668260
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
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月。...
Lecture Notes in Computer Science 3096 Advances in Learning Software Organizations 6th International
LSO 20042004 年出版173 页ISBN：3540221921
Lecture Notes in Computer Science 4019 Algebraic Methodology and Software Technology 11th Internatio
AMAST 20062006 年出版389 页ISBN：3540356339
Lecture Notes in Computer Science 3547 Product Focused Software Process Improvement 6th Internationa
PROFES 20052005 年出版588 页ISBN：3540262008
