Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
Boundary Value Problems For Operator Differential Equations
V.I.Gorbachuk1991 年出版347 页ISBN：
Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL
2007 年出版290 页ISBN：9783540749837
Lecture Notes in Computer Science 3226 Semantics of a Networked World Semantics for Grid Databases
2004 年出版326 页ISBN：3540236090
Lecture Notes in Control and Information Sciences 349 Control Systems Theory and Applications for Li
2007 年出版468 页ISBN：9783540426639
Lecture Notes in Control and Information Sciences 167 M.Rao Integrated System for Intelligent Contro
1992 年出版133 页ISBN：3540549137
Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Artificial Intelligence 4180 OMDoc-An Open Markup Format for Mathematical Documents
2006 年出版428 页ISBN：3540378979
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
