Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
A BRIDGE BETWEEN CONTROL SCIENCE AND TECHNOLOGY VOLUME 1 ANALYSIS AND SYNTHESIS OF CONTROL SYSTEMS
W.R.PERKINS A.G.J.MACFARLANE G.G.LEININGER2222 年出版580 页ISBN：0080316670
DISTRIBUTED INTELLIGENCE:Trade-Offs and Decisions for Computer Information Systems
Willian E.Leigh1987 年出版562 页ISBN：
A BRIDGE BETWEEN CONTROL SCIENCE AND TECHNOLOGY VOLUME 3 LARGE-SCALE SYSTEMS
DECISION-MAKING2222 年出版1681 页ISBN：
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Programming Primer A Graphic Introduction to Computer Programming
with BASIC and Pascal1982 年出版520 页ISBN：
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4623 Ontologies-Based Databases and Information Systems First and
ODBIS 2005/20062007 年出版154 页ISBN：9783540754732
MULTINATIONAL COMPUTER SYSTEMS An Introduction To Transnational Data Flow And Data Regulation
1980 年出版198 页ISBN：0442215738
