Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN：354020766X
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
DEALING WITH COMPLEXITY AN INTRODUCTION TO THE THEORY AND APPLICATION OF SYSTEMS SCIENCE SECOND EDIT
ROBERT L.FLOOD AND EWART R.CARSON1993 年出版280 页ISBN：
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
