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 3011 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20042004 年出版415 页ISBN:354021836X
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 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN:3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN:3540102353
Lecture Notes in Computer Science 3840 Unifying the Software Process Spectrum International Software
SPW 20052005 年出版522 页ISBN:3540311122
Lecture Notes in Computer Science Artificial Intelligence 3336 Practical Aspects of Knowledge Manage
PAKM 20042004 年出版524 页ISBN:3540240888
Lecture Notes in Computer Science 4767 International Symposium on Fundamentals of Software Engineeri
FSEN 20072007 年出版450 页ISBN:9783540756972