Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
It began with Babbage the genesis of computer science
Subrata Dasgupta2014 年出版328 页ISBN：0199309412
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
Lecture Notes in Artificial Intelligence 3825 Innovative Concepts for Autonomic and Agent-Based Syst
WRAC 20052006 年出版391 页ISBN：9783540692652
Lecture Notes in Artificial Intelligence 3446 Massively Multi-Agent Systems I First International Wo
MMAS 20042005 年出版349 页ISBN：3540269746
Lecture Notes in Artificial Intelligence 4226 Informatics Edication-The Bridge between Using and Und
ISSEP 20062006 年出版319 页ISBN：3540482180
Lecture Notes in Artificial Intelligence 4659 Holonic and Multi-Agent Systems for Manufacturing Thir
HoloMAS 2007 Regensburg2222 年出版0 页ISBN：
