Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN:9780521118156
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
INFORMATION AND ORGANIZATION:A NEW PERSPECTIVE ON THE THEORY OF THE FIRM
1997 年出版314 页ISBN:0198297807
THEORY OF STOCHASTIC DIFFERENTIAL EQUATIONS WITH JUMPS AND APPLICATIONS MATHEMATICAL AND ANALYTICAL
2005 年出版434 页ISBN:0387250832
Lecture Notes in Computer Science 4187 Principles and Practice of Semantic Web Reasoning 4th Interna
PPSWR 20062006 年出版275 页ISBN:3540395865
Lecture Notes in Computer Science 3706 Principles and Practice of Constraint Programming-CP 2005 11t
CP 20052005 年出版887 页ISBN:3540292381
Lecture Notes in Computer Science 4204 Principles and Practice of Constraint Programming-CP 2006 12t
CP 20062006 年出版774 页ISBN:3540462678