THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN：
Lecture Notes in Computer Science 2924 Distributed Multimedia Information Retrieval SIGIR 2003 Works
2004 年出版173 页ISBN：3540208755
Lecture Notes in Computer Science 540 Artificial Neural Networks International Workshop IWANN'91
1991 年出版476 页ISBN：3540545379
Lecture Notes in Computer Science 3585 Human-Computer Interaction-INTERACT 2005
2005 年出版1158 页ISBN：3540289437
Lecture Notes in Computer Science 4663 Human-Computer Interaction-INTERACT 2007
2007 年出版735 页ISBN：9783540747994
Lecture Notes in Computer Science 4662 Human-Computer Interaction-INTERACT 2007
2007 年出版637 页ISBN：9783540747949
Lecture Notes in Computer Science 4638 Engineering Stochastic Local Search Algorithms Designing
Implementing and Analyzing Effective Heuristics2007 年出版223 页ISBN：9783540744450
Lecture Notes in Computer Science 3564 Reasoning Web First International Summer School 2005
2005 年出版317 页ISBN：3540278281
Lecture Notes in Computer Science 4636 Reasoning Web Third International Summer School 2007
2007 年出版343 页ISBN：9783540746133
EXCEPTIONS ARE THE RULE:AN INQUIRY INTO METHODS IN THE SOCIAL SCIENCES
1993 年出版312 页ISBN：0813316464
