大约有10,000项符合查询结果项。（搜索耗时：0.0270秒）
为您推荐： 胡家宝编著 武汉理工大学计算机科学与技术学院 浙江中医学院计算机科学与技术系赴临安社会实践小分队 孙志挥编著 东南大学计算机科学技术学院 计算机科学技术与应用 辑部 教育部高等学校计算机科学与技术教学指导委员会制 计算机科学与技术学院编
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
Mathematica与大学物理计算 第2版
董键著2013 年出版406 页ISBN：9787302318712本书以Mathematica为计算工具，引导读者通过物理计算更好地理解物理学。全书共分Mathematica基础、物理学基础、电磁学部分、光学部分、量子部分几方面，汇集了Mathematica众多的用于物理计算的函数功能，例题丰...
-
-
-
-
-
管理科学与工程经典译丛大学教材 运筹学基础 第10版 全球版
哈姆迪·塔哈著；刘德刚，朱建明，韩继业译2018 年出版559 页ISBN：9787300258966运筹学的非常优秀的基础教材，自初版以来，经过多次修订与扩充，（1）重视运筹学基本知识的讲解，但对一些问题也作了较深入的分析，以满足不同读者的需要。（2）突出实用性。各章通过实践问题的求解来导出运筹问题的......
-
大学化学研究性学习 韩山师范学院化学系本科生成果集
衷明华主编2011 年出版299 页ISBN：9787811357721本书共收录大学本科生的相关研究成果，内容涉及食品开发、工艺研究、物质检测、方法的创新等，每一篇作品内容丰富、可读性强、颇具参考价值。对于化学专业的学生，有利于拓宽知识层面并从中得到启发；而对于非化学...
-
晶体生长科学与技术 下
张克从，张乐潓主编1997 年出版550 页ISBN：7030055691本书是一部在 1981 年出版的《晶体生长》基础上进行扩充和改写而成的集体创作。书中比较深入地论述了晶体生长的理论和技术, 总结了国内外的主要实践经验和成果, 重点介绍了我国在晶体领域中所取得的突出成...