Microsoft Visual C++ 2.0 for win32大全 5 语言参考手册
（美）Microsoft Corporation2222 年出版512 页ISBN：
DIAGNOSING AND TREATING CHILDREN AND ADOLESCENTS A GUIDE FOR MENTAL HEALTH PROFESSIONALS
BRANDE FLAMEZ2016 年出版520 页ISBN：9781118917923
Synthetic pathway and process engineering for terminal oxy- and aminofunctionalization via multistep
Manfred Schrewe2013 年出版215 页ISBN：3844021851
Oceans and human health implications for society and well-being
Robert E.Bowen ; Michael H.Depledge ; Cinnamon P.Carlarne ; Lora E.Fleming2014 年出版304 页ISBN：1119941316
DEFENSE TACTICS FOR LAW ENFORCEMENT:WEAPONLESS DEFENSE AND CONTROL AND BATON TECHNIQUES
BRUCE TEGNER1972 年出版191 页ISBN：0874070287
WORKBOOK FOR ACCOUNTING AND BOOKKEEPING PRINCIPLES AND PRACTICE:ASSOCIATION OF ACCOUNTING TECHNICIAN
DAVID WILLIS2011 年出版375 页ISBN：9780070277694
PREPARE TO BOARD! CREATING STORY AND CHARACTERS FOR ANIMATED FEATURES AND SHORTS
NANCY BEIMAN2007 年出版317 页ISBN：0240808207
Automation for press feed operations：Applications and Economics （Manufacturing engineering and mate
Edward Walker2222 年出版160 页ISBN：0824773500
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
