注册 | 登录
100 条"面向计算机科学的数理逻辑系统建模与推理"搜索结果
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理：系统建模与推理
概率论与数理统计（慕课版） 电子书
概率论与数理统计（慕课版）
  • 张天德
  • 本书共8章，包括随机事件与概率、随机变量及其分布、多维随机变量及其分布、数字特征与极限定理、统计量及其分布、参数估计、假设检验、MATLAB在概率论与数理统计中的应用。
UML软件建模技术 电子书
UML软件建模技术
  • 江文
  • 本书详细讲解UML语言及应用建模，实例结合实际项目，强调实际应用。
Maya建模技术解析 电子书
Maya建模技术解析
  • 姚明
  • 本书从Maya建模的基础和Maya的软件基础开始讲起，针对性讲解了Polygon多边形建模。通过4个完整的建模案例详细讲解了Maya建模的思路、方法和技巧，案例涵盖道具建模、场景建模、角色建模和生物建模等4大建模类型，力求让读者深入理解Maya软件的建模功能，并快速将所学运用到实际工作中，具备一定的应用能力。附赠书中案例的贴图和模型文件，方便读者直接实现书中案例及进行对比学习，掌握学习内容的精髓，
水利工程建设与管理丛书.水利工程建设项目施工投标与承包管理 电子书
水利工程建设与管理丛书.水利工程建设项目施工投标与承包管理
  • 水利部水利建设与管理总站
  • 本书全面论述了水利工程建设项目施工投标与承包管理的全过程及工作内容，重点介绍了工程项目施工招、投标程序及前期准备工作、投标文件的编制及报价计算、投标、施工项目组织与人力资源管理、施工项目质量管理等内容。
水利工程建设与管理丛书.水利工程质量监督实务 电子书
水利工程建设与管理丛书.水利工程质量监督实务
  • 水利部水利建设与管理总站
  • 本书阐述了水利工程质量监督制度、监督依据、监督职责、组织机构、监督程序、质量行为和实体监督要点、施工质量评定报告编制原则和注意事项等。
水利工程建设管理法规 电子书
水利工程建设管理法规
  • 水利部水利建设与管理总站
  • 本书分别对现行的水利工程建设管理综合性法规、建设程序和前期工作法规、资质与资格管理法规、“三项制度”管理法规、工程质量与安全管理法规、建筑市场管理法规等进行了介绍。
水利工程建设与管理丛书 水利工程建设项目程序管理 电子书
水利工程建设与管理丛书 水利工程建设项目程序管理
  • 水利部水利建设与管理总站
  • 本书阐述了项目管理的基本概念、水利工程项目管理、项目建设的实施周期、水利工程建设管理体制、项目建设的有关各方面的职责等内容。
设计的未来：面向复杂世界的产品创新 电子书
设计的未来：面向复杂世界的产品创新
面向综合能源系统的节能新技术 电子书
面向综合能源系统的节能新技术
剧本推理游戏创作指南 电子书
剧本推理游戏创作指南
  • 申澜　著
  • 在剧本推理游戏的发展中，越来越多的人看到了剧本推理游戏的潜力，意图成为创作者，进入剧本推理游戏产业。所以，让读者们真正了解剧本推理游戏，掌握系统的剧本推理游戏写作方法，了解整个剧本推理游戏产业链，便是本书的写作目的。本书分为3个部分。第一部分介绍了剧本推理游戏的巨大影响力，也为不了解这一行业的人打开一个窗口，让读者知道什么是剧本推理游戏，该娱乐形式的特殊性及市场现状。第二部分是本书的重点内容，系统
电磁兼容原理、建模与设计（英文版） 电子书
电磁兼容原理、建模与设计（英文版）
  • 吴琦
  • ElectromagneticCompatibility(EMC)utilizesdedicatedtheoryandtechnologiestopredict,assessandpreventpotentialelectromagneticinterferenceproblems.AftergivingabriefoverviewofEMCandtherelatedtopics,thisbook
智能配电网调度建模理论与分析 电子书
智能配电网调度建模理论与分析
  • 黄训诚
  • 本书主要研究配电网的智能调度技术，从配电网的调度运行角度出发，分别讨论了故障情况和正常运行情况下，智能配电网调度的方式和方法，介绍了智能配电网新理论，构建了智能配电网调度优化模型。内容不仅包括配电网调度的理论与方法，还包括实际应用的效果和经验。
智能变电站系统仿真与建模 电子书
智能变电站系统仿真与建模
  • 陈炯聪
  • 全书共分7章，主要包括智能变电站及其系统仿真概述；关键设备及信息流的建模分析；OPNET仿真软件的建模与仿真方法；基于OPNET的变电站关键协议与策略建模；关键设备建模；智能变电站网络性能仿真平台标准化；智能变电站网络建模与仿真案例。
21世纪全国高等院校计算机教育“十一五”规划教材.新编计算机文化基础 电子书
21世纪全国高等院校计算机教育“十一五”规划教材.新编计算机文化基础
  • 《新编计算机文化基础》编委会
  • 本书分为7章，内容涉及计算机信息技术的基本知识、计算机系统的组成原理、操作系统的功能、计算机常用软件的使用、多媒体信息在计算机中的表示、计算机网络的组成与体系结构、数据库及其应用等。
数理政治经济学：原理、方法与问题 电子书
数理政治经济学：原理、方法与问题
  • 张忠任 著
  • 经济理论的数理化不仅是一个不可遏止的潮流，而且是马克思主义经济学发展的内在要求之一。本书基于劳动价值理论、剩余价值理论以及再生产理论，严格按照现有的政治经济学体系，将能够用数学公式表示的地方，全部采用数学予以表述，从而为解决一些历史上遗留的课题（如转形问题、斯蒂德曼诘难等）提供了必要的方法或手段。旨在囊括当前的有关前沿课题，并给出新的解释或提出解决方案。
概率论与数理统计（第二版） 电子书
概率论与数理统计（第二版）
  • 孙海珍,王丽英
  • 本系列教材为大学工科各专业公共课教材，共四册：《高等数学（上下册）》《线性代数与几何》《概率论与数理统计（第二版）》。本书是《概率论与数理统计》（第二版），编者在第一版的基础上，根据工科数学教改精神，在多个省部级教学改革研究成果的基础上，结合多年的教学实践进行修订。书中融入了许多新的教学思想和方法，改正、吸收了近年教学过程中发现的问题和经验。全书共11章，包括随机事件与概率、随机变量及其分布、二维
简明概率论与数理统计（第2版） 电子书
简明概率论与数理统计（第2版）
  • 李永艳
  • 本书由随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律及中心极限定理、统计量及抽样分布、参数估计、假设检验共8章内容组成。每章末配有本章小结，以及章、节两组习题和参考答案。
不问归期 电子书
不问归期
  • 郑理
  • 明万历年间，北方有个雪域国，历经百年风雨，皇帝驾崩，太子灵帝继位。雪域国有一江湖门派天机阁，阁主游沐风，是雪域长公主，灵帝胞妹。为了寻找遗落的玉玺，游沐风乔装踏上了寻宝之路。她几经曲折，以身试险，终于找到了玉玺，才发现这只是一把钥匙，而锁住的，是几代家国恩怨。雪域国功臣遗孤集结周边其他势力，誓要报仇，剑指金銮，大战一触即发。游沐风披挂上阵，最终战死青阳关。传说中，昆仑雪莲有起死回生之效，凭借雪莲捡
呼吸系统疾病 电子书
呼吸系统疾病
  • 魏理
  • 本丛书是由广东省药学会专家组成员根据实际工作经验出版的一套适合全科医生和药师阅读和参考的案头书。每个分册根据临床实际工作经验收集整理了不合理用药处方案例，全套书共收集处方案例千余例。每一个案例均从药师的角度进行了处方合理性分析，并提出了处方点评建议，便于指导基层医生和药师开展处方点评工作。温馨提示：本产品为电子书，非实体纸质图书。为保护图书著作权，电子书不提供原文件，不支持导出和打印，仅支持人卫社
科学的曙光 电子书
科学的曙光
  • [印] 塔努·帕德马纳班
  • 知名理论物理学和宇宙学家塔努·帕德马纳班力作，一部写给普通大众的简明科学史。
推荐书籍
相关词语
UML 软件建模 设计 科普 科学史
意见反馈
我的书架

公众号

关注微信公众号