Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
METHODS OF REPRESENTATION THEORY VOLUME II
1987 年出版951 页ISBN：0471189944;0471888710
Methods of Machine Improvement & Contemporary Problems of Machine Science
K.V.Frolov2222 年出版250 页ISBN：
refrigerating and air conditioning methods and applications2222 年出版0 页ISBN：
COMPENDIUM OF METHODS FOR THE MICROBIOLOGICAL EXAMINATION OF FOODS
MARVIN L.SPEAK1976 年出版702 页ISBN：0875530818
DEPENDABILITY OF CRITICAL COMPUTER SYSTEMS 1
F.J.REDMILL2222 年出版292 页ISBN：1851662030
CLINICAL METHODS OF NEURO OPHTHALMOLOGIC EXAMINATION
ALFRED KESTENBAUM1948 年出版384 页ISBN：
