FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING
1999 年出版472 页ISBN：0819431613
Lecture Notes in Artificial Intelligence 4850 50 Years of Artificial Intelligence Essays Dedicated t
2007 年出版399 页ISBN：9783540772958
LECTURE NOTES IN PHYSICS 68 ENERGY METHODS IN TIME-VARYING SYSTEM STABILITY AND INSTABILITY ANALYSES
1977 年出版256 页ISBN：3540084304
LECTURE NOTES IN MATHEMATICS 927: THE TRACE FORMULA AND BASE CHANGE FOR GL(3)
1982 年出版204 页ISBN：3540115005;0387115005
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
Lecture Notes in Artificial Intelligence 2955 Fuzzy Logic and Applications 5th International Worksho
WILF 20032006 年出版342 页ISBN：3540310193
Lecture Notes in Artificial Intelligence 3849 Fuzzy Logic and Applications 6th International Worksho
WILF 20052006 年出版438 页ISBN：3540325298
Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
