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
HOW TO FIND INFORMATION IN SCIENCE AND TECHNOLOGY SECOND EDITION
JILL LAMBERT PETER A.LAMBERT2222 年出版108 页ISBN：0851574696
计算机科学技术名词 2002 第2版=Chinese terms in computer science and technology
计算机科学技术名词审定委员会编1994 年出版553 页ISBN：7030097254
Lecture Notes in Conputer Science 4688 Bio-Inspired Computational IIntelligence and Applications Int
LSMS 20072007 年出版805 页ISBN：9783540747680
Lecture Notes in Artificial Intelligence 3946 Modeling and Retriecal of Context Second International
MRC 20052006 年出版149 页ISBN：3540335870
Lecture Notes in Artificial Intelligence 3476 Declarative Agent Languages and Technologies II Second
DALT 20042005 年出版289 页ISBN：3540261729
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
LECTURE NOTES IN MATHEMATICS 1459: OPTIMAL CONRTOL OF NONSMOOTH DISTRIBUTED PARAMETER SYSTEMS
1990 年出版159 页ISBN：3540535241;0387535241
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
