Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
LECTURE NOTES IN MATHEMATICS 1110: STRONG LIMIT THEOREMS IN NON-COMMUTATIVE PROBABILITY
1985 年出版155 页ISBN：354013915X;038713915X
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3002 Metainformatics International Symposium
MIS 20032004 年出版213 页ISBN：3540220100
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3080:Business Process Management
Jorg Desel2004 年出版310 页ISBN：
Lecture Notes in Computer Science 3511 Metainformatics International Symposium
MIS 20042005 年出版221 页ISBN：354027328X
