本书通过爆笑校园故事讲解信息技术知识，用编程知识解决校园烦恼，学习内容涉及人脸识别、语音合成、图像识别技术、数据库技术等。

本书介绍了计算机图形学基本原理、OpenGL程序设计、数字图象处理基础技术和OpenCV程序设计等相关基础知识，主要内容包括：计算机图形学和数字图像处理概述；基本图元的绘制和OpenGL中的基本图元；图形变换的基本方法和OpenGL中的图形变换；三维场景的真实感绘制和OpenGL中的真实感图形；样条物体的建立和Open

本书介绍了虚拟仪器及LabVIEW的平台的主要内容，主要目的在于启发读者创新思维、提高其创新实践能力，全书按照32课时的基础知识，16课时的上机作业和16课时的课程设计编排，可以让读者在了解LabVIEW这个软件平台的同时，自己动手解决一些实际测试测量问题，提高创新实践的水平。

本书稿以秦海菲主编的《数据库原理及应用》为依托,全面总结了数据库系统的基础知识点,给出了教材中课后习题的解析,并补充了大量的配套习题以及对应解答。本书稿与《数据库原理及应用》一书相对应,总共包含4篇13章,第1篇为基础篇,包括绪论、关系数据库、关系数据库标准语言SQL、关系数据库标准语言SQL;第2篇为设计及应用篇,包

全书共13章和10个上机实操,主要介绍了深入.NET框架、深入C#数据类型、使用集合组织相关数据、深入类的方法、体检套餐管理系统、初识继承和多态、深入理解多态、面向对象高级应用、汽车租赁系统、可扩展标记语言XML、文件操作、序列化和反序列化等相关知识,且每章都配有丰富的实例、要点和作业,帮助读者理解和掌握书中的内容,非

本书针对目前安全协议中存在的不具有实用性或过于复杂等问题，以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识

本书共11单元,主要内容有初识Python、语法基础、选择结构、循环结构、列表与元组、字典与集合、函数与模块、面向对象编程、异常处理、文件操作、数据处理基础。本教材内容覆盖了Python语言最常用的知识点,知识体系新颖、内容安排循序渐进,以大量任务和实例为依托,辅以大量学习资料、在线视频、题库、立体化教学资源。

本书分为上下两篇:上篇网页色彩设计,主要讲解色彩基础、网页色彩的组成、网页色彩的搭配、网页要素的色彩设计、网页色彩应用分析和网页色彩设计的趋势;下篇网页布局设计,主要讲解网页创意设计、网页布局的要素、网页布局的方法、网页布局的技巧及网页的未来流行趋势。

本书以校企合作、工学结合的人才培养模式为指导思想,以基于工作过程的教学模式为教学引领,以教学任务为载体,以培养行业网页设计师所具有的职业素养和职业能力为目标,分CSS初步体验、XHTML与CSS基本语法、CSS网页布局与定位基础、用CSS设置丰富的文字及段落效果、用CSS设置图片及背景效果、用CSS设置表格与表单的样式

本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手,研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型,构造出了形式化服务组合行为模型WSBM的模拟执行过程,进行了W