Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Computer Aided and Integrated Manafacturing Systems Volume 5:Manufacturing Processes
2003 年出版244 页ISBN：9812389792
Computer Aided and Integrated Manafacturing Systems Volume 3:Optimization Methods
2003 年出版224 页ISBN：9812389814
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
Bernard Bolzano Theory of Science Volume Four
Paul Rusnock ; Rolf George2014 年出版526 页ISBN：0199684427
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
计算机科学—C++软件工程方法（第2版）Computer Science_ A Structred Approach Using C++_Second Edition
Behrouz A.Forouzan2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
