PHYSIOLOGICAL ASPECTS OF CROP YIELD
JERRY D.EASTIN F.A.HASKINS C.Y.SULLIVAN C.H.M.VANBAVEL2222 年出版396 页ISBN：
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
BASIC TECHNIQUES FOR TRANSMISSION ELECTRON MICROSCOPY
M.A.HAYAT2222 年出版411 页ISBN：0123339251
BIODEGRADATION AND DETOXIFICATION OF ENVIRONMENTAL POLLUTANTS
A.M.CHAKRABARTY1982 年出版147 页ISBN：0849355249
A COLOUR ATLAS OF OPHTHALMOLOGICAL DIAGNOSIS
M.A.BEDFORD1978 年出版190 页ISBN：0723401756
INFORMATION TRANSMISSION IN THE NERVOUS SYSTEM
A.M.UTTLEY2222 年出版111 页ISBN：0127097503
THE HERITAGE OF WORLD CIVILIZATIONS VOLUME TWO:SINCE 1500 FIFTH EDITION
ALBERT M.CRAIG WILLIAM A.GRAHAM DONALD KAGAN STEVEN OZMENT FRANK M.TURNER2000 年出版1088 页ISBN：0130124567
