Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Lecture Notes in Artificial Intelligence 3529 Agent-Oriented Information Systems III 7th Internation
AOIS 20052006 年出版291 页ISBN：9783540482918
Lecture Notes in Artificial Intelligence 3508 Agent-Oriented Information Systems II 6th Internationa
AOIS 20042005 年出版226 页ISBN：3540259112
Lecture Notes in Artificial Intelligence 3030 Agent-riented Information Systems 5th International Bi
AOIS 20032004 年出版206 页ISBN：3540221271
MACHINE INTELLIGENCE 11 Logic and the acquisiton of knowledge
J.E.HAYES1988 年出版460 页ISBN：
Lecture Notes in Computer Science 4852 Combinatorial and Algorithmic Aspects of Networking 4TH Works
CAAN 20072007 年出版149 页ISBN：9783540772934
Lecture Notes in Computer Science 4449 Implementation and Application of Functional Languages 18th I
IFL 20062007 年出版271 页ISBN：9783540741299
