THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
IMSCI'10 the 4th International Multi-Conference on Society
Cybernetics and Informatics2222 年出版0 页ISBN:
2001 The 10th IEEE International Conference on Fuzzy Systems Vol.1
2001 年出版552 页ISBN:078037293X
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156
Lecture Notes in Computer Science 4215 Conceptual Modeling-ER 2006 25th International Conference on
2006 年出版590 页ISBN:354047224X
Lecture Notes in Computer Science 4189 Computer Security ESORICS 2006 11th European Symposium on Res
2006 年出版548 页ISBN:354044601X
Lecture Notes in Computer Science 4036 Developments in Language Theory 10th International Conference
DLT 20062006 年出版456 页ISBN:354035428X