THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
INTERNATIONAL YOUTH WORKSHOP ON MONTE CARLO METHODS & PARALLEL ALGORITHMS
1991 年出版133 页ISBN：9810202938
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 461: COMPUTATIONAL MECHANICS
1975 年出版328 页ISBN：3540071695;0387071695
2000 2ND INTERNATIONAL CONFERENCE CONTROL OF OSCILLATIONS AND CHAOS VOLUME 3 OF 3
F.L.CHERNOUSKO2000 年出版593 页ISBN：
Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence ICTAL 2001
IEEE Computer Society2001 年出版349 页ISBN：
2000 2ND INTERNATIONAL CONFERENCE CONTROL OF OSCILLATIONS AND CHAOS VOLUME 1 OF 3
F.L.CHERNOUSKO2000 年出版204 页ISBN：
The Interaction of Analysis and Geometry : International School--Conference Analysis and Geometry
August 23-September 32222 年出版0 页ISBN：
Power transmissions proceedings of the International Conference on Power Transmissions 2016 (ICPT 20
Datong Qin ; Yimin Shao2017 年出版0 页ISBN：
