THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X
Lecture Notes in Computer Science 3106 Computing and Combinatorics 10th Annual International Confere
COCOON 20042004 年出版474 页ISBN:354022856X
Medical Image Computing and Comuter-Assisted Intervention-MICCAI 2007 10th International Conference
Nicholas Ayache2007 年出版1012 页ISBN:
Medical Image Computing and Comuter-Assisted Intervention-MICCAI 2007 10th International Conference
Nicholas Ayache2007 年出版988 页ISBN:
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN:3540281770
Lecture Notes in Artificial Intelligence 4455 Inductive Logic Programming 16th International Confere
ILP 20062007 年出版456 页ISBN:9783540738466
Lecture Notes in Artificial Intelligence 3194 Inductive Logic Programming 14th International Confere
ILP 20042004 年出版361 页ISBN:3540229418
10TH INTERNATIONAL OPTICAL COMPUTING CONFERENCE 1983
2222 年出版221 页ISBN:0818600047