Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
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 MATHEMATICS 914: THE WITT GROUP OF DEGREE K MAPS AND ASYMMETRIC INNER PRODUCT SPACE
1982 年出版273 页ISBN：3540112014;0387112014
LECTURE NOTES IN MATHEMATICS 1274: EQUIVARIANT K-THEORY AND FREENESS OF GROUP ACTIONS ON C*-ALGEBRAS
1987 年出版374 页ISBN：3540182772;0387182772
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN：9783540720782
Lecture Notes in Physics 194:QCD:Renormalization for the Practitioner
P.Pascual1984 年出版277 页ISBN：
Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004
2004 年出版233 页ISBN：354022839X
