ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING
1990 年出版375 页ISBN:0849375320
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004
2004 年出版822 页ISBN:3540232419