Lecture Notes in Artificial Intelligence 3394 Adaptice Agents and Multi-Agent Systems II Adaptation
2005 年出版313 页ISBN：3540252606
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 593: ABSTRACT ANALYTIC FUNCTION THEORY AND HARDY A
1977 年出版260 页ISBN：3540082522;0387082522
LECTURE NOTES IN MATHEMATICS 1336: SEMI-CLASSICAL ANALYSIS FOR THE SCHRODINGER OPERATOR AND APPLICAT
1988 年出版110 页ISBN：3540500766;0387500766
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN：3540531033;087531033
LECTURE NOTES IN MATHEMATICS 1295: SEMINAIRE D'ANALYSE P. LELONG - P. DOLBEAULT - H. SKODA
1987 年出版288 页ISBN：3540186913;0387186913
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
Lecture Notes in Artificial Intelligence 3825 Innovative Concepts for Autonomic and Agent-Based Syst
WRAC 20052006 年出版391 页ISBN：9783540692652
