Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN:3540221204
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN:9783540489283
Lecture Notes in Computer Science 3378 Theory of Cryptography Second Theory of Cryptography Conferen
TCC 20052005 年出版621 页ISBN:3540245731
Lecture Notes in Computer Science 3876 Theory of Cryptography Third Theory of Cryptography Conferenc
TCC 20062006 年出版617 页ISBN:3540327312
Lecture Notes in Computer Science 2951 Theory of Cryptography First Theory of Cryptography Conferenc
TCC 20042004 年出版523 页ISBN:3540210008
Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys
CLEF 2003 Trondheim2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
Lecture Notes in Computer Science 1943 Computer Safety
Reliability and Security 19th International Conference2000 年出版432 页ISBN: