| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Equivalence Checking and Design Debugging | 978-0-7923-8184-6 (0-7923-8184-X) | 1998 | Kwang-Ting (Tim) Cheng |
| Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory | 978-0-7923-1923-8 (0-7923-1923-0) | 1992 | |
| Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty | 978-0-7923-0887-4 (0-7923-0887-5) | 1990 | Jaques Teghem |