Lecture Notes in Computer Science 2481 Languages and Compilers for Parallel Computing 15th Workshop
LCPC 20022005 年出版376 页ISBN：3540307818
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
程序开发原理 抽象、规格与面向对象设计 abstraction， specification， and obiect-oriented design
（美）Barbara Liskov，（美）John Guttag著；裘健译2006 年出版275 页ISBN：7121032627
本书由著名编程理论专家所著，是美国麻省理工学院电气工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和能得以快速修改的软件开发方法，强调了软件的模块化开发思想，用丰富的...
ELSEVIER'S MEDICAL DICTIONARY IN FIVE LANGUAGES ENGLISH/AMERICAN/FRENCH/ITALIAN SPANISH AND GERMAN S
REVISED EDITION1975 年出版1452 页ISBN：
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
七周七语言 卷2 ＝ SEVEN MORE LNGUAGES IN SEVEN WEEKS LANGUAGES THAT ARE SHAPING THE FUTURE
（美）BRUCE A.THAT，（美）FRED DAOUD，（美）IAN DEES，（美）JACK MOFFITT著；7ML翻译组译2016 年出版270 页ISBN：7115427359
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
