Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
THE SECOND INTEMATIONAL CONFERENCE ON COMPUTERS AND APPLICATIONS BEIJING PEKING.PEOPLES'REPUBLIC OF
19872222 年出版937 页ISBN:0818607807
Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200
2005 年出版599 页ISBN:354026972X
Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE
2005 年出版275 页ISBN:354030018X