Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
Lecture Notes in Computer Science 1636 Fast Software Encryption 6th International Workshop
FSE991999 年出版317 页ISBN：354066226X
Lecture Notes in Computer Science 4518 Comparative Evaluation of XML Information Retrieval Systems 5
INEX 20062007 年出版554 页ISBN：9783540738879
Lecture Notes in Computer Science 4270 Interactive Technologies and Sociotechnical Systems 12th Inte
VSMM 20062006 年出版547 页ISBN：3540463046
Lecture Notes in Computer Science 4824 Advances in Rule Interchange and Applications International S
RuleML 20072007 年出版243 页ISBN：9783540759744
Lecture Notes in Computer Science 3389 Multiparadigm Programming in Mozart/Oz Second International C
MOZ 20042005 年出版329 页ISBN：3540250794
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN：3540211799
Lecture Notes in Computer Science 4137 CONCUR 2006-Concurrency Theory 17th International Conference，
2006 年出版523 页ISBN：3540373764
Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
