Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X
Lecture Notes in Computer Science 3352 Security in Communication Networks 4th International Conferen
SCN 20042005 年出版381 页ISBN:3540243011
Lecture Notes in Computer Science 3350 Practical Aspects Of Declarative Languages 7th International
PADL 20052005 年出版269 页ISBN:3540243623
Lecture Notes in Computer Science 3572 Developments in Language Theory 9th International Conference
DLT 20052005 年出版409 页ISBN:3540265465
Lecture Notes in Computer Science 4446 Evolutionary Computation in Combinatorial Optimization 7th Eu
EvoCOP 20072007 年出版241 页ISBN:9783540716143