Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
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 4602 Data and Applications Security XXI 21st Annual IFIP WG 11.3 W
2007 年出版292 页ISBN：9783540735335
Lecture Notes in Computer Science 4127 Data and Applications Security XX 20th Annual IFIP WG 11.3 Wo
2006 年出版319 页ISBN：3540367969
Lecture Notes in Computer Science 3654 Data and Applications Security XIX 19th Annual IFIP WG 11.3 W
2005 年出版353 页ISBN：354028138X
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 Artificial Intelligence 3881 Gesture in Human-Computer Interaction and Simulation 6
GW 20052006 年出版344 页ISBN：3540326243
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
