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 Computer Science 4267 Autonomic Management of Mobile Multimedia Services 9th IFIP/I
MMNS 20062006 年出版257 页ISBN:3540476547
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN:3540527346;0387527346
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
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN:3540378731
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866