THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
LECTURE NOTES IN MATHEMATICS 1268: COMPLEX ANALYSIS
1987 年出版201 页ISBN：354018094X;038718094X
LECTURE NOTES IN MATHEMATICS 1470: FUNCTIONAL ANALYSIS
1991 年出版205 页ISBN：354054206X;038754206X
LECTURE NOTES IN MATHEMATICS 1282: POSITIVE POLYNOMIALS
CONVEX INTEGRAL POLYTOPES1987 年出版141 页ISBN：
Lecture Notes in Physics 118:Quantum Chromodynamics
J.L.Alonso1980 年出版424 页ISBN：
24TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIECNE 1983
2222 年出版477 页ISBN：0818605081
OPTIMIZATION OF COMPUTER NETWORKS MODELING AND ALGORITHMS A HANDS-ON APPROACH
HARRI HOLMA2016 年出版375 页ISBN：1119013358
LECTURE NOTES IN MATHEMATICS 1395: NUMBER THEORY
MADRAS 19871989 年出版234 页ISBN：354051595X;038751595X
PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON MACHINE LEARNING
PAT LANGLEY1987 年出版403 页ISBN：0934613419
LECTURE NOTES IN MATHEMATICS 1364: CONVEX FUNCTIONS
MONOTONE OPERATORS AND DIFFERENTIABILITY1989 年出版115 页ISBN：3540507353;0387507353
