Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Advances in Artificial General Intelligence:Concepts
Architectures and Algorithms2007 年出版295 页ISBN：
cognitive communications distributed artificial intelligence(dai)
regulatory policy &economics2222 年出版0 页ISBN：
ARTIFICIAL INTELLIGENCE IN PSYCHOLOGY:INTERDISCIPLINARY ESSAYS
MARGARET A.BODEN1989 年出版188 页ISBN：0262022850
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 4266 Advances in Information and Computer Security First Internati
IWSEC 20062006 年出版438 页ISBN：3540476997
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING
1999 年出版472 页ISBN：0819431613
