Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN:3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN:9783540730934
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 Artificial Intelligence 2922 Advances in Agent Communication Intenational Workshop
ACL 20032004 年出版403 页ISBN:3540207694
Lecture Notes in Artificial Intelligence 4597 Advances in Data mining 7th Industriak Cinference
ICDM 20072007 年出版352 页ISBN:9783540734345
Lecture Notes in Artificial Intelligence 3264 Grammatical Inference:Algorithms and Applications 7th
ICGI 2004 Athens2222 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN:3540232125
Lecture Notes in Artificial Intelligence 3155 Advances in Case-Based Reasoning 7th European Conferen
ECCBR 20042004 年出版822 页ISBN:3540228829