面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
WHALES AND DOLPHINS OF NEW ZEALAND AND AUSTRALIA AN IDENTIFICATION GUIDE
ALAN N.BAKER2222 年出版133 页ISBN：0864730020
MOTION AND TIME STUDY DESIGN AND MEASUREMENT OF WORK SEVENTH EDITION
RALPH M.BARNES2222 年出版689 页ISBN：0471059056
ATLAS OF RENAL AND URINARY TRACT CYTOLOGY AND ITS HISTOPATHOLOGIC BASES
G.BERRY SCHUMANN1981 年出版295 页ISBN：0397504438
TERRORIST USE OF CYBERSPACE AND CYBER TERRORISM:NEW CHALLENGES AND RESPONSES
MEHMET NESIP OGUN2015 年出版213 页ISBN：9781614995272
VERSE AND VOICE IN BYRD'S SONG COLLECTIONS OF 1588 AND 1589
JERMEY L.SMITH2016 年出版325 页ISBN：1783270828
CRYOSURGICAL ADVANCES IN DERMATOLOGY AND TUMORS OF THE HEAD AND NECK
SETRAG A.ZACARIAN1977 年出版272 页ISBN：0398035970
THE DIAGNOSIS AND PRIMARY CARE OF ACCIDENTS AND EMERGENCIES IN CHILDREN
CYNTHIA M.ILLINGWORTH1978 年出版134 页ISBN：0632003928
