注册 | 登录
100 条"面向计算机科学的数理逻辑系统建模与推理"搜索结果
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理：系统建模与推理
铁路运输经典问题建模与实现 电子书
铁路运输经典问题建模与实现
  • 陈军华
  • 本书为中国高速铁路基础研究论丛之一，是国家自然科学基金委员会、中国铁路总公司高速铁路基础研究联合基金资助项目，同时获批“十三五”国家重点出版物出版规划项目。　　全书重点阐述铁路运输组织中关于列车编组计划、列车运行图、运力资源配置、调车作业和运输计划协调配合等若干经典问题和使用优化方法建模的理论基础，并提供具体案例及GAMS建模求解的详细过程，帮助读者理解和掌握运输问题建模和求解的要领。　　为便于读
建筑设备工程BIM建模与应用 电子书
建筑设备工程BIM建模与应用
  • 刘彬
  • 本书以任务为导向，以Revit软件为基础，以建筑设备BIM为核心，围绕典型的项目，由浅入深地介绍BIM基础及其在建筑设备工程中的实践及应用。本书内容分为三篇：第一篇为BIM入门，主要讲述BIM的基本概念、软件操作基础及建筑工程模型创建的方法；第二篇为设备工程BIM实践，重点讲述建筑给排水、消防、暖通及电气工程模型创建的方法；第三篇为BIM综合应用，重点讲述设备工程的模型深化设计及成果输出，并通过真
Word Excel PPT 2016商务办公全能一本通（全彩版） 电子书
Word Excel PPT 2016商务办公全能一本通（全彩版）
WPS Office 2016商务办公全能一本通 电子书
WPS Office 2016商务办公全能一本通
  • 互联网+计算机教育研究院
  • 基于WPSOffice2016；扫描二维码观看丰富资源；以实际案例讲解基础知识点，相比枯燥的理论更为生动。
Office 2016三合一职场办公效率手册 电子书
Office 2016三合一职场办公效率手册
  • 互联网 计算机教育研究院
  • 本书从办公人员的视角讲解Office2016的3个主要组件Word、Excel和PowerPoint的使用，共4部分12章。其中，Word部分包括制作简单Word文档、Word图文混排及美化、在Word中应用表格与图表、文档的高级排版与审校；Excel部分包括制作简单Excel表格、数据计算与管理、Excel常用函数、分析Excel数据；PowerPoint部分包括制作PowerPoint演示文稿
Word Excel PPT 2013商务办公全能一本通（全彩版） 电子书
Word Excel PPT 2013商务办公全能一本通（全彩版）
  • 互联网+计算机教育研究院
  • 本书主要讲解Office2013的3个主要组件Word、Excel和PowerPoint在商务办公中的主要应用知识，包括Word文档的基本操作、设置Word文档的板式、美化Word文档、Word文档的高级排版、制作Excel表格、计算Excel数据、处理Excel数据、分析Excel数据、编辑幻灯片、美化幻灯片、设置多媒体和动画、交互与放映输出等。
办公自动化全能一本通 电子书
办公自动化全能一本通
  • 互联网+计算机教育研究院
  • 本书从办公人员的角度进行编写，以Office软件办公为主，以辅助软硬件办公、网络办公与安全为辅，全面介绍在自动化办公中需要掌握的操作和知识点。与以往办公软件书籍相比，本书不仅讲解了使用Office的3个主要组件Word、Excel和PowerPoint制作办公文档、表格和演示文稿的操作，还介绍了常用办公工具软件的使用、常用办公设备的使用与维护，以及网络办公应用、数据恢复与安全防护等内容。本书可作为
Word Excel PPT职场办公从新手到高手（案例全彩版） 电子书
Word Excel PPT职场办公从新手到高手（案例全彩版）
  • 互联网+计算机教育研究院
  • 本书主要讲解Office2013的3个主要组件Word、Excel和PowerPoint在职场办公中的实战应用。全书分为“行政篇”“人力资源篇”“市场篇”“物流篇”“财务篇”，基本覆盖了目前Office软件的常用领域。在每一篇中，将结合该领域的实际情况，通过制作各种实用性的文件，使读者不仅可以掌握相关文件的制作方法，还能进一步提高使用Office2013中各个组件的水平。本书适合需要编写及美化简历
五笔字典（双色版） 电子书
五笔字典（双色版）
  • 互联网+计算机教育研究院
  • 本字典详细介绍了86版和98版两个版本的五笔字型字根拆分及编码，并配有汉语拼音音节索引、部首（字根）检字表，与《新华字典》等工具书的基本使用方法一样，非常便于查阅。本字典正文部分的字按汉语拼音字母顺序排列，以表格的形式分别列出86版编码、字根拆分和98版编码，单字后有常用的词组及词组的86版和98版编码。此外，为方便读者学习和使用，本字典还收录了学习五笔字型必要的图表，包括86/98版五笔字型二级
五笔打字全能一本通（全彩版） 电子书
五笔打字全能一本通（全彩版）
  • 互联网+计算机教育研究院
  • 本书详细而全面地介绍了五笔打字的相关知识，主要内容包括五笔打字前的准备、五笔字根、汉字拆分、简码与词组输入、五笔打字的练习与测试，以及搜狗五笔输入法使用技巧等。本书不仅图文并茂，讲解易懂，条理清晰，而且对汉字的字根拆分过程以突出的颜色加以区分，使读者对汉字的字根构成及拆分方法一目了然。在本书内容讲解中还配有“新手练习”板块，读者可以边学边练。此外，本书配有微课视频教学，只需用手机扫描书中的二维码便
Excel 2013从新手到高手：公式、函数、图表与数据分析 电子书
Excel 2013从新手到高手：公式、函数、图表与数据分析
  • 互联网+计算机教育研究院
  • 本书主要从基本操作、公式与函数、图表与数据分析3个方面，讲解办公软件中Excel2013的数据处理与分析的操作过程，以帮助各行各业的工作人员快速、高效地完成各项工作。书中的主要内容包括数据的编辑处理、数据的显示与输出、公式和函数的基本操作、逻辑和文本函数的应用、日期和时间函数的应用、统计和数学函数的应用、查找和引用函数的应用、财务函数的应用、图表的应用、数据分析与汇总、数据透视表和数据透视图的应用
新手学电脑全能一本通 电子书
新手学电脑全能一本通
  • 互联网+计算机教育研究院
  • 1．配套微课视频，可随时扫描二维码观看；2．附赠交互练习软件，可实现手把手教学；3．附赠学习素材和效果文件；4．附赠五笔字根速查软件、键盘使用视频及Office学习资料。
电脑组装、维护、维修全能一本通（全彩版） 电子书
电脑组装、维护、维修全能一本通（全彩版）
汽车行业面向智能制造的BOM物料管理（汽车工业管理科学与工程系列） 电子书
汽车行业面向智能制造的BOM物料管理（汽车工业管理科学与工程系列）
  • 黄振旗
  • 本书全面探讨了汽车行业企业级BOM背景、管理理念、体系建设、业务应用、系统集成思路以及项目实施的具体方法等。
小学数学渗透推理思想的教学探索 电子书
小学数学渗透推理思想的教学探索
  • 林彩莲
  • 本书对小学数学教学中推理思想的基本理念、培养目标、教学載体、教学策略、教学实录等进行全面、详细的阐述，其中包括对渗推理思想的培养目标的总结提炼，对教学内容的系统梳理，对演绎推理、归纳推理和类比推理教学策略的研究实践等。
OB11娃头及头部妆造制作全解 电子书
OB11娃头及头部妆造制作全解
  • 编著
  • 本书是一本关于OB11娃头及头部妆造制作的教程。全书分为5章。第1章主要介绍了制作娃头需要使用的材料与工具；第2章提供了8种娃头造型技法；第3章介绍了3种OB11娃头制作方法以及娃头上妆技巧；第4章讲解了如何制作娃娃的头发；第5章给出了前面章节制作的OB11娃头形象的整体妆造成品图。
信号与系统（微课版 支持H5交互） 电子书
信号与系统（微课版 支持H5交互）
  • 北京邮电大学信号与系统课程组　组编
  • 本书主要讲解信号的描述和运算、线性时不变系统的描述和特性，以及确定性信号通过线性时不变系统传输与处理的基本分析方法。全书共7章，主要内容包括信号与系统概述、系统的时域分析、连续信号的频域分析、连续系统的频域分析、连续信号与系统的复频域分析、离散信号与系统的z域分析、系统的状态变量分析。本书支持H5交互教学，并提供讲解视频、课程PPT、教学大纲、教案、源代码等教学资源。本书可作为院校电子信息类、自动
概率论与数理统计（第2版） 电子书
概率论与数理统计（第2版）
  • 主编
  • 本书共9章，包括随机事件与概率、随机变量及其分0布0、0多0维随机变量及其概率分布、随机变量的数字特征、大数定律与中心极限定理、样本及抽样分布、参数估计、假设检验、MATLAB在概率论与数理统计中的应用。
概率论与数理统计（第2版） 电子书
概率论与数理统计（第2版）
  • 主编
  • 本书共分8章，第1~5章为概率论部分，第6~8章为数理统计部分．主要内容包括随机事件及其概率、随机变量及其分布、随机变量的数字特征、极限定理、参数估计和假设检验等。
概率论与数理统计习题集 电子书
概率论与数理统计习题集
  • 蔡高玉 沈仙华 张慧 赵青青 赵化娇
  • 全书共分为8章：第1章随机事件与概率、第2章随机变量及其分布、第3章多维随机变量及其概率分布、第4章随机变量的数字特征、第5章大数定理及中心极限定理、第6章样本及抽样分布、第7章参数估计、第8章假设检验。
推荐书籍
相关词语
PPT 2016 计算机基础 Excel Word Office 全彩 办公 WPS 零基础 电脑 本通 维修 职业技能 维护 微课 电脑组装 科技关键词 人工智能 科技与生活 绘画 信息系统
意见反馈
我的书架

公众号

关注微信公众号