Thisbooksystematicallypresentsthemostrecentprogressinstabilityandcontrolofimpulsivesystemswithdelays.Impulsivesystemshaverecentlyattractedcontinuedhighresearchi

本书介绍了高效的软件设计和编程方法，把精益需求分析、领域驱动设计、面向对象、契约式设计、测试驱动开发、意图导向编程及演进式设计等编程实践融会贯通，深入洞察软件设计本质，展示了一个清晰的程序员编程能力提升路线图。全书共十二章，按照程序员技能提升的顺序，分为品味篇、专业篇和高效篇。本书适合各种编程语言的一线开发者、大学计算

本教材共分11章，从基本的操作系统的认识逐步深入讲解操作系统的四大功能，即处理机管理功能、存储管理功能、设备管理功能和文件管理功能。章节分布第1章是操作系统概述，第2章是进程与线程，第3章是进程的同步与互斥，第4章是处理器管理，第5章是死锁，第6章是存储管理，第7章虚拟存储，第8章是设备管理，第9章是文件管理，第10章

本书以OpenCV-Python（thePythonAPIforOpenCV）为工具，以案例为载体，系统介绍了计算机视觉从入门到深度学习的相关知识点。本书从基础知识、基础案例、机器学习、深度学习和人脸识别5个方面对计算机视觉的相关知识点进行了全面、系统、深入的介绍。书中共介绍了40余个经典的计算机视觉案例，其中既有图像

本书全面系统地介绍了Dreamweaver的操作方法和网页制作技巧，内容包括初识Dreamweaver、文本、图像和多媒体、超链接、表格、ASP、CSS、模板和库、表单、行为、网页代码和综合设计实训等。本书内容主要以课堂案例为主线，每个课堂案例以图文演示的方式给出了详细的操作步骤。读者通过课堂案例的学习，可以快速熟悉软

本书以实际应用为写作目的，围绕WPSOffice2019软件展开介绍，内容讲解遵循由浅入深、从理论到实践的原则。全书共12章，依次介绍了文档的常见操作、图文混排的方法、文档中表格的应用、长文档的编排、电子报表的创建、公式与函数的应用、数据的分析管理、图表的应用、演示

本书按照Web前端工程师岗位技能要求，以真实项目组织内容，由浅入深地讲解了如何利用HTML5和CSS3等网页制作技术制作网站。本书共分为7个项目，项目1为Web前端基础的相关介绍；项目2和项目3包含HTML和CSS的基础知识、常用标签、CSS基础语法及选择器等内容；项目4和项目5介绍了HTML5语义化标签、CSS3的新

本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。《BR》全书

本书按照新时期“双一流”学科建设课程的教学大纲要求编写而成，在简要介绍C++程序设计语言和测量平差数学模型的基础上，讨论各种平差方法的程序设计原理、编程思路、编程技巧，并给出完整的程序代码和应用算例。本书以自编能够实现水准网、平面控制网、GNSS向量网、摄影测量数据处理及点云数据处理等通用平差计算程序为主线，完整、系统

本书全面系统地介绍了3dsMax2020的基本操作方法和效果图的制作方法。全书共9章，内容包括基础知识和基本操作、基本几何体的创建、二维图形的创建、三维图形的创建、高级建模、复合对象的创建、材质和纹理贴图、摄像机和灯光环境特效的使用、综合实训案例现代客餐厅灯。本书将案例融入软件功能的介绍过程中，力求通过课堂案例演练，使