大约有20,000项符合查询结果项。（搜索耗时：0.0378秒）
为您推荐： 南京工学院计算机科学与工程系 中国岩石力学与工程学会 数值计算及模型试验专业委员会编 中国航天系统科学与工程研究院 计算机科学技术与应用 辑部 计算机研究与发展 编辑部编辑 教育部高等学校计算机科学与技术教学指导委员会制
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
科学计算自由软件SCILAB基础教程
黄铎，王风，李志伟编著2006 年出版141 页ISBN：7302128561本书主要介绍SCILAB的数据类型、运算符、常用函数、程序设计语言、脚本文件和函数的编写方法，计算结果可视化功能以及其在物理、化学、工程中的应用实例。...
-
-
-
国际数学和科学趋势研究测评的理论与思考
赵慧著2018 年出版269 页ISBN：9787542957535国际数学和科学趋势研究（简称TIMSS）作为有代表性的大型国际教育评价项目之一，得到越来越多国家的关注和参与，本书以TIMSS为研究对象，通过概述TIMSS二十年的发展与剖析TIMSS2011的测试结果，引出影响教育质量若干因...
-
-
数学与信息科学新进展 2008年全国数学与信息科学研究生学术研讨会论文集
李正熙，李心灿，胡占义等主编2008 年出版456 页ISBN：9787563515080信息科学是一个迅速发展的综合交叉学科，运用现代数学和计算机方法解决信息技术领域中的问题，是当前国际国内计算机领域的一个研究热点和难点。本书收录了中国电子学会通信学分会与北方工业大学主办、北京邮电...
-
ANSYS工程计算应用教程
李皓月等编著2003 年出版442 页ISBN：7113049885本书内容由三部分组成，包括对使用ANSYS分析问题的基本过程的细致分析，对结构静力、模态及非线性等问题的处理方法以及ANSYS的高级应用等知识。...
-
-
ANSYS工程计算应用教程
武思宇，罗伟编著2004 年出版363 页ISBN：7113060544本书主要介绍了ANSYS的基本操作知识，对使用ANSYS分析问题的基本过程进行深入细致地分析。还介绍了ANSYS在结构分析方面的实际应用。可作为大专院校相关专业学生的学习用书。...