Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant <em>forem> Higher-Order Logic
2002 年出版218 页ISBN:3540433767
数据统计分析与实践 SPSS <em>forem> Windows
衷克定编著2005 年出版259 页ISBN:7040165376
本书是作者十多年来对“数据统计分析”课程的教学和科研工作实践的结晶。本书从教育类专业用户的角度出发,结合作者对SPSS软件的教学和应用研究的经验,本着循序渐进的原则,在介绍数据统计分析的工具的同时,将统...
STAMATIA DEVETZI <em>ANDem> SARA STENDAHL2011 年出版189 页ISBN:9041134263
LIST TOP TO -DOS <em>FORem> AN EVEN BETTER YOU!MAKER'S GET-HEALTHY GUIDE
<em>FROMem> THE EDITORS OF PREVENTION2010 年出版214 页ISBN:9781605294094