CRIMINAL PROFILING AN INTRODUCTION TO BEHAVIORAL EVIDENCE ANALYSIS FOURTH EDITION
BRENT E.TURVEY AND FORENSIC SOLUTIONS2012 年出版679 页ISBN：
NUMERICAL METHODS FOR ENGINEERS WITH SOFTWARE AND PROGRAMMING APPLICATIONS FOURTH EDITION
STEVEN C.CHAPRA，RAYMOND P.CANALE2222 年出版926 页ISBN：0072431938
TRUE BLOOD AND PHILOSOPHY WE WANNA THINK BAD THINGS WITH YOU
GEORGE A.DUNN AND REBECCA HOUSEL2010 年出版246 页ISBN：0470597729
LIPPINCOTT WILLIAMS & WILKINS' DENTAL DRUG REFERENCE WITH CLINICAL IMPLICATIONS SECOND EDITION
FRIEDA ATHERTON PICKETT GEZA T.TEREZHALMY2010 年出版865 页ISBN：9780781798273
SEMI-MARKOV NODELS CONTROL OF RESTORABLE SYSTEMS WITH LATENT FAILURES
YURIY E.OBZHERIN ELENA G.BOYKO2015 年出版199 页ISBN：0128022122
Building performance dashboards and balanced scorecards with SQL server reporting services
Christopher Price ; Adam Jorgensen ; Devin Knight2014 年出版288 页ISBN：1118647196
Programming with JavaScript : algorithms and applications for desktop and mobile browsers
John David Dionisio and ray toal2013 年出版694 页ISBN：0763780609
CREATING APPLICATIONS WITH THE IBM OS/2 EXTENDED EDITION DATABASE MANAGER
DAVID C.BAKER AND WILLIAM L.BANNING AND WILLIAM W.MYRE1989 年出版261 页ISBN：0201153025
CALCULUS:AN ACTIVE APPROACH WITH PROJECTS THE ITHACA COLLEGE CALCULUS GROUP
STEPHEN HILBERT JOHN MACELI ERIC ROBINSON1994 年出版257 页ISBN：0471003166
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
