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 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN:3540224181
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
Lecture Notes in Computer Science 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con
2007 年出版631 页ISBN:9783540749738
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 2287 Advances in Database Technology-EDBT 2002 8th International C
2002 年出版776 页ISBN:3540433244