Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
Lecture Notes in Computer Science 4557 Human Interface and the Management of Information Methods
Techniques and Tools in Information Design Part I2007 年出版1030 页ISBN：9783540733447
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN：9783540720782
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 4019 Algebraic Methodology and Software Technology 11th Internatio
AMAST 20062006 年出版389 页ISBN：3540356339
Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th Internatio
AMAST 20042004 年出版569 页ISBN：3540223819
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20072007 年出版494 页ISBN：9783540741954
