关于我们
|
|
点击返回 当前位置:首页 > 中图法 【 TP31 计算机软件】 分类索引
-
- 函数式程序设计
- 邓玉欣编著/2023-7-1/清华大学出版社
本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。
-
定价:¥39 ISBN:9787302626909
-
- C语言程序设计 第2版
- 胡成松黄玉兰/2023-7-1/机械工业出版社
本书包含C语言概述,数据类型、运算符和表达式,简单程序设计,选择结构程序设计,循环结构程序设计,数组,函数,指针,结构体、共用体与枚举,文件等共10章内容。全书内容以案例“学生信息管理系统”贯穿,将该案例涉及的知识点分解到各个章节。每章通过案例和问题引入知识点,重点讲解程序设计的思想和方法,并介绍相关的语法知识,注重培养学生分析问题和解决问题的能力,每章末尾给出了该案例的具体实现参考程序代码。 本书可作为普通高等院校“C语言程序设计”课程的教材。 本书配有电子课件、例题源代码、习题答
-
定价:¥52 ISBN:9787111729471
-
- Linux操作系统原理及ROS应用
- 谢明山/2023-7-1/哈尔滨工业大学出版社
ROS是一个构建在Linux上的机器人开发系统,本书将Linux操作系统基础与ROS应用融为一体,并用大量实例和案例来帮助读者理解和掌握Linux操作系统和ROS的相关知识。本书共分操作系统概述、进程管理、处理机调度、常用命令、文件系统管理、脚本编程、Linux的服务器配置、Linux的开发环境配置、Linux的数据库部署、基于Linux的ROS应用概述、ROS架构及概念、ROS编程等章节。 本书在介绍Linux基本知识的基础上,融合ROS应用技术,采用知识图谱的形式展现了本书的
-
定价:¥44 ISBN:9787576709476
-
- 数据结构(C语言版)( 第4版 )(微课版)
- 李云清杨庆红揭安全/2023-7-1/人民邮电出版社
本书介绍了数据结构的基本概念和基本算法。全书共分为10章,包括概论,线性表及其顺序存储,线性表的链式存储,字符串、集合和特殊数组,递归,树型结构,二叉树,图,检索,排序等内容。 本书内容丰富,逻辑性强,文字清晰流畅,既注重理论知识,又强调工程实用。书中既体现了抽象数据类型的观点,又对每个算法的具体实现给出了完整的C语言源代码描述。本书配套资源丰富,包含代码、PPT课件、教案、教学大纲、实验详细指导、习题答案及解析等教学资源,同时重点内容录制了微课视频,支持线上线下混合教学。<
-
定价:¥69.8 ISBN:9787115603203
-
-
- 计算机一级考试指导书(Windows 10+Office 2019)
- 倪美玉、曹为刚、单天德/2023-7-1/清华大学出版社
本书严格按照浙江省一级《计算机应用基础》考试大纲要求编写,基于Windows 10+Office 2019平台,以任务驱动的方式,通过典型试题解答与实践,让读者全面掌握考试大纲要求,有助于培养和提高读者的计算机实际应用能力。全书共4章,内容涉及基础理论知识、Word 2019综合应用、Excel 2019综合应用和PowerPoint 2019综合应用。
本书适合作为高等学校计算机基础公共课(计算机应用基础)教学的实践教材,也可以作为自学教材或考试辅导教材。
-
定价:¥49.9 ISBN:9787302634386
-
-
- ICICOS操作系统
- 黄海军/2023-7-1/清华大学出版社
本书围绕ICICOS系统管理和服务器应用技术展开,由浅入深、循序渐进地介绍了ICICOS 运维中的要点和如何解决遇到的问题,主要内容包括:ICICOS的介绍与使用、ICICOS用户和组账号的管理、文件权限和归属的管理、磁盘的分区和格式化操作、文件系统挂载、逻辑卷管理、Linux 的引导过程、系统服务控制、启动过程优化、网络设置、服务器配置Shell脚本应用等。 本书可作为高等职业院校及普通高等院校的学生用书,也可供软件开发、编程等相关从业人员阅读参考。
-
定价:¥49 ISBN:9787512149991
-
- Adobe Premiere Pro 2023数字音视频编辑案例教程
- 秦菊,刘鹏程/2023-7-1/华中科技大学出版社
本书坚持立德树人,落实德技并修,深化产教融合,将思想引领、能力培养和知识传授相结合,引入影视编辑制作的新技术、新工艺、新标准,面向影视剪辑、广告制作、栏目包装、特效制作等行业企业技术岗位,培养具备良好专业能力和职业精神的高素质技术技能人才。本书对教学内容进行模块化,坚持理实一体,强化项目载体、任务驱动,激发学生自主学习兴趣;增加多个综合案例和教学视频,拓展学生专业技能和职业素养;增加由校企合作开发的*非物质文化遗产项目济南皮影VR博物馆,将优秀传统文化与现代技术文化融合,渗透人文精神、爱国
-
定价:¥49.8 ISBN:9787568097185
-
- 区块链导论
- 雷凯/2023-7-1/电子工业出版社
本书全面介绍了区块链的基础知识,包括区块链概述、区块链密码学、P2P网络、共识算法、智能合约、区块链经典应用、区块链应用案例、区块链技术生态等。此外,本书还涉及不少前沿知识技术的介绍,包括区块链在数字经济、元宇宙、Web 3.0和NFT中的应用等,以便读者加深对于区块链技术的理解。 本书既可以作为高等院校区块链、计算机等信息类专业和金融科技等专业的教材,又可以作为区块链、金融科技等领域从业人员的参考用书。
-
定价:¥69 ISBN:9787121454332
|