当前位置:首页 > 名称
大约有3,000项符合查询结果项。(搜索耗时:0.0200秒)
为您推荐: 随机方程和应用 随机微分方程及应用 随机过程及应用 参数方程和极坐标 常微分方程和无穷级数 可视化微分几何和形式
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
中文Windows 98 、Word 2000、Excel 2000、PowerPoint 2000、Internet应用培训教程 【工业技术】
王明社等编著2000 年出版333 页ISBN:7810655507 -
-
从Internet到Intranet 内联网的原理与应用 【工业技术】
王以和等主编2000 年出版269 页ISBN:756050907X本书从因特网的主要技术原理和特点入手,介绍了内联网的基本概念,分别讨论了内联网的网络系统、服务与服务器、工作站与客户应用以及内联网内容的制作等内容。 ...
-
MATLAB高级应用 图形及影像处理 【工业技术】
清源计算机工作室编著2000 年出版369 页ISBN:7900043160本书系统介绍了利用MATLAB实现工程计算及其运算结果的可视化技术以及可视影像在MATLAB中的数字化处理技术,属于MATLAB的高级应用。本书理论与实际并重,内容丰富,通俗易懂,并附有大量的应用实例,是学习和应用MATL...
-
-
电脑上网应用指南 网络入门直通车 【工业技术】
东方浩主编2000 年出版235 页ISBN:7502426140本书介绍了使用因特网所需的基础知识,包括:因特网概况、上网软硬件设置,以及万维网、电子邮件、电子公告板、新闻组、文件传输,并详细介绍了一些上网常用软件的使用方法等。本书语言简明流畅,图文并茂,是一本很.....
-
-
学科分类
