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 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 Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999
Lecture Notes in Artificial Intelligence 3230 Advances in Natural Language Processing 4th Internatio
EsTAL 20042004 年出版488 页ISBN:3540234985
Lecture Notes in Artificial Intelligence 3955 Advances in Artificial Intelligence 4th Helenic Confer
SETN 20062006 年出版611 页ISBN:354034117X