界面设计(UI设计)是新兴的设计领域，它基于平面设计的基本原理，结合技术性的标准要求而产生。学习界面设计时，首先要掌握平面设计的基本原理和相应软件，在此基础上掌握界面设计的基本技术规定和数据标准；然后，是深入理解市场的运作规律和理解用户需求。《界面设计基础教程》采用理论讲授与项目设计相结合的形式，面向界面设计初学者，深入剖析设计要点，让读者了解界面设计基础知识的同时，通过案例制作巩固并掌握设计技能。

本书分为三部分。第一部分内容介绍软件是如何开发出来的，详细介绍了什么是软件、软 件开发的主要流程、软件的开发、软件的运行、软件的维护、软件工程。第二部分内容介绍 使用低(无)代码进行开发，详细介绍了低(无)代码的起源、低(无)代码开发的主要流 程、构建业务模型、低(无)代码平台的运营与运维，同时介绍了清华数为低代码开发工具的案例，以及低(无)代码的发展趋势。 第三部分内容介绍低(无)代码平台的选择，详细介绍了低(无)代码的应用、如何选择低(无) 代码平台、低(无)代码厂商的发展状况和应用案例。

本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。

编程思维可以分解为4个部分：问题分解，模式识别，抽象思维，算法设计。这是一种高效且实用的思维方式，尤其在处理看起来很复杂的问题上，非常有效。生活上处处可以运用编程思维。在21世纪的今天，各项各业都已经和信息技术相结合，科学研究更是如此，由此而产生众多交叉学科，编程便成为了交叉学科的*基本技能。编程思维涵盖了反映计算机科学之广泛性的一系列思维活动，是适合每个人的一种普遍的认识和一类普适的技能。本教程希望通过Blockly可视化编程语言作为编程入门工具，通过类似拼图的方式构建出程序，结合游戏案

本书详细地介绍了软件测试的相关知识。全书共9章, 第1章主要讲解软件测试的基础知识, 第2-3章主要讲解黑盒测试方法与白盒测试方法, 第4-7章主要讲解接口测试、性能测试、Web自动化测试和App 测试的相关知识, 第8-9章通过一个综合项目--安享智慧理财, 完整呈现软件测试的全过程, 帮助读者巩固前面所学的相关知识。

软件测试是软件工程领域的重要分支。本书作为该领域的入门级著作，在内容上基本涵盖了软件测试学习基础知识的各方面。全书共12章，大致可分为3部分： 第1部分（第1、2章）介绍软件测试的基础知识及模型规范； 第2部分（第3～9章）阐述了软件测试中经典而常用的软件测试分类及方法（黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试、回归测试）； 第3部分（第10～12章）重点介绍面向对象软件测试、软件测试自动化等软件测试发展方向和软件测试的过程与管理。每章都附有习题，以便读者及时强化知识，推进探索

本书致力于从理论结合实战的角度介绍C 的语法、标准库以及开发环境，结合知乎网站等出现的数千个C 学习与开发问题，将面向对象的建模技术同简单的数学建模相结合，从而同时培养同学分析问题、解决问题的能力。本书的例题及习题注重趣味性，并同时与要介绍的C 概念巧妙结合，从而较好阐述了C 语法概念的使用背景，使得同学们在遇到新的类似的问题时，能够恰当的利用C 的相关概念解决问题。本教材采用的实验环境为Microsoft Visual Studio Qt插件，该环境开发和发布的程序可以在win

操作系统国产化是软件国产化的根本保障，是软件行业必须要攻克的阵地。本书以“理论+实操”相结合的方式，主要讲解国产操作系统统信UOS的基础知识及应用技术。本书全面、系统、由浅入深地介绍了该操作系统的概念、使用、原理、开发和管理等方面的内容。通过大量应用实例，循序渐进地引导读者学习操作系统。全书共有8章，内容包括：国产操作系统统信UOS的起源、发展和应用；图形化界面操作、操作系统常用的命令、用户和用户组的管理、文件系统及磁盘管理、进程与日志管理、应用软件的安装及使用、操作系统网络与安全管理方面的知识