LECTURE NOTES IN MATHEMATICS 1526: SEMINAIRE DE PROBABILITES XXVI
1992 年出版638 页ISBN：3540560211;0387560211
VLSI AND COMPUTERS：FIRST INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY SYSTEMS AND APPLICATIONS
WALTER E.PROEBSTER AND HANS REINER2222 年出版1006 页ISBN：
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1190 OPTIMIZATION AND RELATED FIELDS
R.CONTI1986 年出版419 页ISBN：0387164766
Information Processing in Autonomous Mobile Robots Proceedings of the International Workshop March 6
19911991 年出版354 页ISBN：3540539646
SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems
1986 年出版193 页ISBN：0080348017
LECTURE NOTES IN MATHEMATICS 1221: PROBABILITY AND BANACH SPACES
1986 年出版222 页ISBN：354017186X;0387171786X
