Mathematical and statistical methods in food science and technology
Daniel Granato2014 年出版513 页ISBN：1118433683
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Handbook of Statistical Methods and Analyses in Sports
Ruud H.Koning2017 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1387: ITERATIVE METHODS FOR SIMULTANEOUS INCLUSION OF POLYNOMIAL ZEROS
1989 年出版266 页ISBN：3540514856;0387514856
LECTURE NOTES IN MATHEMATICS 1450: FUNCTIONAL-ANALYTIC METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS
1990 年出版256 页ISBN：3540533931;0387533931
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
