Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN:3540151877
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN:3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN:9783540732297
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN:3540262865
LECTURE NOTES IN MATHEMATICS 1397: NUMERICAL ANALYSIS AND PARALLEL PROCESSING
1989 年出版264 页ISBN:354051645X;038751645X
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 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN:
LECTURE NOTES IN MATHEMATICS 1131: GEOMETRY AND NONLINEAR ANALYSIS IN BANACH SPACES
1985 年出版123 页ISBN:3540152377;0387152377