Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN:1681732596
THE BOUNDARY THEOTY OF PHASE DIAGRAMS AND ITS APPLICATION:RULES FOR PHASE DIAGRAM CONSTRUCTION WITH
MUYU ZHAO,LIZHU SONG,XIAOBAO FAN2009 年出版238 页ISBN:9787030244581
本书分两部分。第一部分着重介绍了作者提出的相图中若干新概念并应用热力学原理导出了相图中对应关系定理及其推论,进一步找到了边界维数和相边界维数之间的关系,从而找到了确定相图中相邻相区及其边界的关系...
相约张江 浦东论剑Ⅱ 中国产学研合作教育峰会暨2008“名校校长相约张江:话说产学研”论坛
张家华主编2008 年出版211 页ISBN:9787542742131
本书是中国产学研合作教育峰会暨2008“名校校长相约张江:话说产学研”论坛的演讲稿汇编。
(美)艾拉·K.沃尔夫(Ira K.Wolf)著2017 年出版394 页ISBN:9787519225346
本书是一本最新的关于SAT2数学1考试的指南手册,包括SAT2数学1考试的概要介绍,在本考试中获得高分的最重要的策略介绍,之后是分章介绍每一部分的内容:基本算法、分数和小数、比率与比例、基本代数、平面几何、立...
安徽省“十一五”规划教材 嵌入式实时操作系统μC/OS-Ⅱ教程
吴永忠,程文娟,郑淑丽,徐海卫编著2007 年出版283 页ISBN:9787560620053
本书内容包括嵌入式系统导论、嵌入式操作系统中的基本概念、任务管理、中断处理与时间管理等。