Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 3803 Information Systems Security First International Conference
ICISS 20052005 年出版342 页ISBN：3540307060
Lecture Notes in Computer Science 4218 Information Systems Security Third International Conference
ICISS 20072007 年出版322 页ISBN：9783540770855
Electronic Message Systems 87 Proceedings of the international conference held in Londn
November 19871987 年出版295 页ISBN：0863530958
Lecture Notes in Computer Science 4332 Information Systems Security Second International Conference
ICISS 20062006 年出版382 页ISBN：9783540689621
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON NUMERICAL METHODS IN FLUID DYNAMICS
J.EHLERS，H.A.WEIDENMULLER1970 年出版462 页ISBN：
Lecture Notes in Computer Science 4053 Intelligent Thtoring Systems 8th International Conference
ITS 20062006 年出版821 页ISBN：3540351590
