Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
LECTURE NOTES IN MATHEMATICS 1207: SPECTRAL GEOMETRY: DIRECT AND INVERSE PROBLEMS
1986 年出版272 页ISBN：3540167889;0387167889
SPARSE MATRICES:NUMERICAL ASPECTS WITH APPLICATIONS FOR SCIENTISTS AND ENGINEERS
1989 年出版118 页ISBN：074580635X;0470214066
LECTURE NOTES IN MATHEMATICS 960: MULTIGRID METHODS
1982 年出版652 页ISBN：3540119558;0387119558
LECTURE NOTES IN MATHEMATICS 1360: VORTEX METHODS
1988 年出版144 页ISBN：3540505261;0387505261
LECTURE NOTES IN MATHEMATICS 1113: MATRIX METHODS IN ANALYSIS
1985 年出版114 页ISBN：3540151850;0387151850
