面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
Intelligence and Security Informatics:Biosurveillance Second NSF Workshop
Biosurveillance 20072007 年出版235 页ISBN：9783540726074
WELLNESS:CHOICES FOR HEALTH AND FITNESS SECOND EDITION
REBECCA DONATELLE1999 年出版471 页ISBN：
INDUSTRIAL ORGANIZATION:CONTEMPORARY THEORY AND PRACTICE SECOND EDITION
LYNNE PEPALL2002 年出版724 页ISBN：
WORKING MEMORY IN SECOND LANGUAGE ACQUISITION AND PROCESSING
ZHISHENG WEN2015 年出版314 页ISBN：
CORE CURRICULUM FOR CRITICAL CARE NURSING SECOND EDITION
DIANA NIKAS1981 年出版493 页ISBN：
The International Law of Human Rights Second Edition
Adam McBeth2017 年出版626 页ISBN：
The Canadian Writer's Handbook Second Essentials Edition
Ramona Montagnes2017 年出版0 页ISBN：
DIRICHLET FORMS AND SYMMETRIC MARKOV PROCESSES SECOND EDITION
(日)福岛雅敏2017 年出版489 页ISBN：
