Lecture Notes in Computer Science 4723 Advances in Intelligent Data Analysis VII 7th International S
IDA 20072007 年出版380 页ISBN：9783540748243
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
Lecture Notes in Computer Science 4624 Algebra and Coalgebra in Computer Science Second Internationa
CALCO 20072007 年出版463 页ISBN：9783540738572
Lecture Notes in Computer Science 4846 Advances in Computer Science-ASIAN 2007 Computer and Network
2007 年出版313 页ISBN：9783540769279
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
