本书着眼于Linux的基本操作、编程环境和编程基本开发等方面的内容，系统介绍Linux开发所需相关的基础知识，以培养学生的动手能力，进而加强对基本概念的认识。书中对主要概念和知识点都给出了实例分析。全书分为4部分，共8章。*部分Linux入门介绍和基本概念（第1章）。主要介绍 Linux 的发展简史、开源许可证和版权制度Linux 环境下软件的体系结构、常用开发调试工具等知识。第二部分Linux 环境编程基础（第2—3章）。主要介绍Shell编程、程序和编译链接以及静态库和共享库的概念。第三部分Linux 环境编程核心（第4—6章），详细介绍在Linux环境下如何编写程序操作进程、线程、文件和目录编程以及操作系统相关背景知识。第四部分Linux 环境编程提高（第7—8章）。主要介绍Linux环境下的网络socket编程以及如何编写安全的程序。

《创意呈现》内容包括“创客通识”“畅想创作”“创意制作”三部分。*部分通过“创客是怎样炼成的”项目范例，引领同学们掌握创客创作的基本方法与技能，增强创新意识，发展创新思维，提高创新能力，能够像创客一样思考和解决问题。第二部分通过“移民月球”项目范例，引导同学们学习和体验虚拟创作，把想法变成多媒体数字作品，努力朝着擅写善演的虚拟创客方向发展。第三部分通过“机器狗设计及其实体呈现”项目范例，启发同学们进行实体创作，将创意变为现实，努力成长为能制会造、熟能生巧的实体创客。 《创意呈现》为创客教育系列丛书初中第二册，适合初中二年级学生阅读使用。

从入门学习者的角度出发，通过通俗易懂的语言、丰富多彩的实例、贴近开发实战的项目，循序渐进地让读者在实践中学习PHP编程知识，并且提升自己的实际开发能力。全书分为5篇20章，分别为：基础知识篇、进阶提高篇、MySQL基础篇、高级应用篇、项目实战篇，内容包括初识PHP、PHP语言基础、流程控制语句、字符串操作与正则表达式、PHP数组、面向对象、PHP与Web页面交互、MySQL数据库基础、PHP操作MySQL数据库、PDO数据库抽象层、Cookie与Session、图形图像处理技术、文件系统、PHP与Ajax技术、ThinkPHP框架、51购商城、明日留学教育网、在线考试系统。书中所有知识都结合具体实例进行讲解，涉及的程序代码都给出了详细的注释，可以使读者轻松领会PHP程序开发的精髓，快速提高PHP程序开发的技能。

Spring 框架是以简化J2EE 应用程序开发为特定目标而创建的，是当前*流行的Java 开发框架。本书主要介绍Beans 的配置、依赖注入、定制bean、基于Java 的容器、AOP、Spring Data、Spring MVC 等内容。本书基于非常适合构建JavaWeb 微服务框架的Spring 5 编写，涵盖Java 的函数式编程、RxJava 2 的反应式编程、用Spring WebFlux、Spring Data 和Spring Security 开发反应式RESTful Web 服务等内容。 本书适合Web 开发者和想使用Spring 的初学者参考，也可供对Web 开发和Spring 感兴趣的读者参考。

本书基于数学内容的思想性针对高中复数与三角内容为中学教师和大学师范生以及数学教育研究生提供了建设性意见。对复数与三角的历史做了一番梳理，本着尊重历史与突出数学思想的原则设计了大量案例，其设计源于教材又不拘泥于教材。本书有别于传统的数学教育理论书籍，作者融数十年数学研究经验与教学经验于数学教育研究中，提出了一些新颖的见解，直接面向一线教学提出具体的教学建议，不失为一本具有重要指导意义的一线教师教学参考书。本书适合大学师范生作为教法教材或参考书，也可以作为中学一线教师的培训用书或教学指导用书及中学生的参考读物，还可以作为数学教育研究工作者的参考书。

传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性，测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试不再是必要的。为开发相应的验证工具奠定了基础。

《奇妙！创课堂玩转3D打印》一书融合多位一线优秀教师的智慧和实践，遵循学生的学习认知规律，以123D Design这款三维设计软件为主要载体，着眼于中小学生信息素养的整体提升。全书分三个单元，*单元“入门篇”以三维设计的基本操作为主要内容，关注对学生学习兴趣的激发；第二单元“构造篇”以四种重要的三维成型技术为主要内容，关注重要技能的锤炼与巩固，第三单元“应用篇”以综合应用与操作技巧为主要内容，关注学生综合能力的整体提升。三个单元的内容循序渐进、螺旋式提升，让中小学生在快乐的学习中掌握三维设计技能、提升信息素养。

本书是一本编程故事书，以Scratch 3.0作为编程设计工具，围绕一只小猫“喵喵呱” 找回叫声的故事展开全书内容。本书包含9章共27节，通篇注重情节的连贯性和任务的合理性，由浅入深、由简至繁、循序渐进地将编程知识渗透到故事中，包含相对完整的情节和简单有趣的小例子，让读者在阅读时既觉得有趣，又学到了知识。本书适合刚开始学习编程的人群阅读，特别是低龄儿童。

这是一本讲述计算机工作原理的书。不过，你千万不要因为“工作原理”之类的字眼就武断地认为它是晦涩而难懂的。作者用丰富的想象和清晰的笔墨将看似烦杂的理论阐述得通俗易懂，你丝毫不会感到枯燥和生硬。更重要的是，你会因此更加深刻地理解计算机的工作原理。这种理解不是抽象层面上的，而是具有一定深度的，这种深度甚至不逊于“电气工程师”和“程序员”的理解。不管你是计算机高手，还是对这个神奇的机器充满敬畏之心的“小白”都不妨翻阅一下本书，读一读大师的经典作品，必然会有收获。

The aim of this book is to introduce the novel approaches for the study ofrelative dynamics modelling， control， and design of formation and swarm flying.Broad research focuses of current interest are covered， with each chapter involvedin different topics. The contents of this book include the introduction， definition，and property of orbital mechanics and control system in the framework offormation and swarm flying concepts using various theoretical methods andnumerical simulations， which have potential merits in mission analysis and design. The book is intended for researchers， teachers， and students of the universitiesand institutes in astrodynamics， control， and interdisciplinary space technologyfields for the purpose of academic study and engineering application.