Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN:3540231358
Chi-squared goodness of fit tests with applications
Vassiliy Voinov ; Mikhail Nikulin ; N. Balakrishnan2013 年出版230 页ISBN:0123971944
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN:3540208518
DESIGN ANALYSIS AND PERFORMANCE EVALUATION METHODOLOGINES FOR DATABASE COMPUTERS
1987 年出版300 页ISBN:0131999028
REPRESENTATIONS OF GROUPS WITH SPECIAL CONSIDERATION FOR THE NEEDS OF MODERN PHYSICS
HERMANN BOERNER1963 年出版325 页ISBN:
ASSESSING REASONING AND PROBLEM SOLVING:A SOURCEBOOK FOR ELEMENTARY SCHOOL TEACHERS
STEPHEN KRULIK JESSE A.RUDNICK1998 年出版233 页ISBN:0205198546
METHODS OF VOCATIONAL GUIDANCE WITH SPECIFIC HELPS FOR THE TEACHER OF BUSINESS SUBJECTS
GERTRUDE FORRESTER1944 年出版460 页ISBN: