Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3264 Grammatical Inference:Algorithms and Applications 7th
ICGI 2004 Athens2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4638 Engineering Stochastic Local Search Algorithms Designing
Implementing and Analyzing Effective Heuristics2007 年出版223 页ISBN：9783540744450
Lecture Notes in Computer Science 109 Digital Image Processing Systems
1981 年出版353 页ISBN：3540107053
Lecture Notes in Computer Science 3660 UbiComp 2005:Ubiquitous Computing 7th International Conferenc
UbiComp 20052005 年出版394 页ISBN：3540287604
Lecture Notes in Computer Science 4475 Fun With Algorithms 4th International Conference
FUN 20072007 年出版273 页ISBN：9783540729136
Lecture Notes in Computer Science 3224 Recent Advances in Intrusion Detection 7th International Symp
RAID 20042004 年出版315 页ISBN：3540231234
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
Lecture Notes in Computer Science 4469:Technologies for E-Learning and Digital Entertainment
2007 年出版974 页ISBN：9783540730101
