Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
Lecture Notes in Physics 301:New Developments in Semiconductor Physics
G.Ferenczi1988 年出版361 页ISBN：3540192158
Lecture Notes in Physics 382:Group Theoretical Methods in Physics
V.V.Dodonov1991 年出版601 页ISBN：
Lecture Notes in Physics:Lectures on Flavor Physics
U.-G.MeiBner2004 年出版215 页ISBN：3540222553
Lecture Notes in Physics 118:Quantum Chromodynamics
J.L.Alonso1980 年出版424 页ISBN：
