Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
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 2464 Artificial Intelligence and Cognitive Science 13th Iri
AICS 20022002 年出版247 页ISBN：3540441840
Lecture Notes in Conputer Science 4688 Bio-Inspired Computational IIntelligence and Applications Int
LSMS 20072007 年出版805 页ISBN：9783540747680
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED
G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560
