- 清华大学出版社(76)
- 清华大学出版社(76)
- 人民邮电出版社(61)
- 人民邮电出版社(61)
- 中国水利水电出版社(32)
- 中国水利水电出版社(32)
- 电子工业出版社(29)
- 电子工业出版社(29)
- 机械工业出版社(23)
- 机械工业出版社(23)
- 科学出版社(22)
- 科学出版社(22)
- 北京邮电大学出版社(12)
- 北京邮电大学出版社(12)
- 中国铁道出版社(11)
- 中国铁道出版社(11)
- 中国电力出版社(10)
- 中国电力出版社(10)
- 化学工业出版社(8)
- 化学工业出版社(8)
- 北京理工大学出版社(8)
- 北京理工大学出版社(8)
- 中国青年出版社(8)
- 中国青年出版社(8)
- 西安电子科技大学出版社(7)
- 西安电子科技大学出版社(7)
- 高等教育出版社(6)
- 高等教育出版社(6)
- 北京航空航天大学出版社(4)
- 北京航空航天大学出版社(4)
- 西南交通大学出版社(4)
- 西南交通大学出版社(4)
- 北京希望电子出版社(4)
- 北京希望电子出版社(4)
- 华中科技大学出版社(4)
- 华中科技大学出版社(4)
- 上海交通大学出版社(4)
- 上海交通大学出版社(4)
- 原子能出版社(2)
- 原子能出版社(2)
- 印刷工业出版社(2)
- 印刷工业出版社(2)
- 言实出版社(2)
- 言实出版社(2)
- 武汉大学出版社(2)
- 武汉大学出版社(2)
- 上海科学技术出版社(2)
- 上海科学技术出版社(2)
- 中国纺织出版社(2)
- 中国纺织出版社(2)
- 北京工业大学出版社(2)
- 北京工业大学出版社(2)
- 世界图书出版公司(1)
- 世界图书出版公司(1)
- 上海远东出版社(1)
- 上海远东出版社(1)
- 中国人民大学出版社(1)
- 中国人民大学出版社(1)
- 金盾出版社(1)
- 金盾出版社(1)
- 清华(1)
- 清华(1)
- 湖南大学出版社(1)
- 湖南大学出版社(1)
- 湖南师范大学出版社(1)
- 湖南师范大学出版社(1)
- 浙江大学出版社(1)
- 浙江大学出版社(1)
- 时事出版社(1)
- 时事出版社(1)
- 沈阳出版社(1)
- 沈阳出版社(1)
- 河海大学出版社(1)
- 河海大学出版社(1)
- 西南财经大学出版社(1)
- 西南财经大学出版社(1)
- 西安交通大学出版社(1)
- 西安交通大学出版社(1)
- 重庆大学出版社(1)
- 重庆大学出版社(1)
- 西南师范大学出版社(1)
- 西南师范大学出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 科学普及出版社(1)
- 科学普及出版社(1)
- 航空工业出版社(1)
- 航空工业出版社(1)
- 冶金工业出版社(1)
- 冶金工业出版社(1)
- 北京大学出版社(1)
- 北京大学出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 中国致公出版社(1)
- 中国致公出版社(1)
- 中国传媒大学出版社(1)
- 中国传媒大学出版社(1)
- 中国商务出版社(1)
- 中国商务出版社(1)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
- 山东科学技术出版社(1)
- 山东科学技术出版社(1)
- 希望公司(1)
- 希望公司(1)
- 广东高等教育出版社(1)
- 广东高等教育出版社(1)
- 安徽师范大学出版社(1)
- 安徽师范大学出版社(1)
- 南京大学出版社(1)
- 南京大学出版社(1)
- 哈尔滨工程大学出版社(1)
- 哈尔滨工程大学出版社(1)
- 天津科学技术出版社(1)
- 天津科学技术出版社(1)
- 安徽师范大学出版社(1)
- 安徽师范大学出版社(1)
- 北京邮电大学出版社(12)
- 北京邮电大学出版社(12)
- 北京理工大学出版社(8)
- 北京理工大学出版社(8)
- 北京航空航天大学出版社(4)
- 北京航空航天大学出版社(4)
- 北京希望电子出版社(4)
- 北京希望电子出版社(4)
- 北京工业大学出版社(2)
- 北京工业大学出版社(2)
- 北京大学出版社(1)
- 北京大学出版社(1)
- 北京师范大学出版社(1)
- 北京师范大学出版社(1)
- 电子工业出版社(29)
- 电子工业出版社(29)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 高等教育出版社(6)
- 高等教育出版社(6)
- 广东高等教育出版社(1)
- 广东高等教育出版社(1)
- 化学工业出版社(8)
- 化学工业出版社(8)
- 华中科技大学出版社(4)
- 华中科技大学出版社(4)
- 湖南大学出版社(1)
- 湖南大学出版社(1)
- 湖南师范大学出版社(1)
- 湖南师范大学出版社(1)
- 河海大学出版社(1)
- 河海大学出版社(1)
- 航空工业出版社(1)
- 航空工业出版社(1)
- 哈尔滨工程大学出版社(1)
- 哈尔滨工程大学出版社(1)
- 机械工业出版社(23)
- 机械工业出版社(23)
- 金盾出版社(1)
- 金盾出版社(1)
- 科学出版社(22)
- 科学出版社(22)
- 科学普及出版社(1)
- 科学普及出版社(1)
- 南京大学出版社(1)
- 南京大学出版社(1)
- 清华大学出版社(76)
- 清华大学出版社(76)
- 清华(1)
- 清华(1)
- 人民邮电出版社(61)
- 人民邮电出版社(61)
- 上海交通大学出版社(4)
- 上海交通大学出版社(4)
- 上海科学技术出版社(2)
- 上海科学技术出版社(2)
- 世界图书出版公司(1)
- 世界图书出版公司(1)
- 上海远东出版社(1)
- 上海远东出版社(1)
- 时事出版社(1)
- 时事出版社(1)
- 沈阳出版社(1)
- 沈阳出版社(1)
- 山东科学技术出版社(1)
- 山东科学技术出版社(1)
- 天津科学技术出版社(1)
- 天津科学技术出版社(1)
- 武汉大学出版社(2)
- 武汉大学出版社(2)
- 西安电子科技大学出版社(7)
- 西安电子科技大学出版社(7)
- 西南交通大学出版社(4)
- 西南交通大学出版社(4)
- 西南财经大学出版社(1)
- 西南财经大学出版社(1)
- 西安交通大学出版社(1)
- 西安交通大学出版社(1)
- 西南师范大学出版社(1)
- 西南师范大学出版社(1)
- 希望公司(1)
- 希望公司(1)
- 原子能出版社(2)
- 原子能出版社(2)
- 印刷工业出版社(2)
- 印刷工业出版社(2)
- 言实出版社(2)
- 言实出版社(2)
- 冶金工业出版社(1)
- 冶金工业出版社(1)
- 中国水利水电出版社(32)
- 中国水利水电出版社(32)
- 中国铁道出版社(11)
- 中国铁道出版社(11)
- 中国电力出版社(10)
- 中国电力出版社(10)
- 中国青年出版社(8)
- 中国青年出版社(8)
- 中国纺织出版社(2)
- 中国纺织出版社(2)
- 中国人民大学出版社(1)
- 中国人民大学出版社(1)
- 浙江大学出版社(1)
- 浙江大学出版社(1)
- 重庆大学出版社(1)
- 重庆大学出版社(1)
- 中国致公出版社(1)
- 中国致公出版社(1)
- 中国传媒大学出版社(1)
- 中国传媒大学出版社(1)
- 中国商务出版社(1)
- 中国商务出版社(1)
- 中国地质大学出版社(1)
- 中国地质大学出版社(1)
-
走进E时代-网上冲浪
¥18.0(7.2折)定价:¥25.0这是一套针对社区推出的系列电脑普及丛书,主要对象为社区中老年朋友和青少年。现在的社区生活丰富多彩,很多社区人员都参加老年大学的学习,让自己的生活更加充实、有意义,其中电脑方面的学习是很大的一个分支。所以本系列丛书根据实际需求与不同的学习层次包括以下几本:电脑打字、电脑入门、文字处理、网上冲浪、电脑娱乐、照片处理、电子相册、动画制作等方面的内容,每一本书的内容简单实用,详见附件。 本系列图书将以通俗易懂的语言进行介绍,回避长篇大论、晦
-
Web开发技术实用教程(高等学校计算机专业教材精选·网络与通信技术)
¥32.0(7.2折)定价:¥44.5《Web开发技术实用教程/高等学校计算机专业教材精选·网络语通信技术》立足于Web技术发展状况和特点,从读者学习当前主流Web技术出发,系统地介绍以JSP技术为主体的Web开发应用技术。 《Web开发技术实用教程/高等学校计算机专业教材精选·网络语通信技术》分成14章,内容安排合理,实用性强。涵盖了当前Web开发技术的主要内容,具体涉及Web技术基础、HTML技术基础、XHTML技术、CSS技术、客户端脚本语言、JSP开发的Ja
-
精通AutoCAD 2014中文版-附光盘
¥44.3(7.9折)定价:¥56.0本书以循序渐进的讲解方式,带领读者快速地掌握AutoCAD的精髓。本书由经验丰富的设计师执笔编写,详细介绍了AutoCAD2014中文版在建筑、室内装饰、电路设计、机械制图和产品模型设计方面的主要功能和应用技巧。全书共20章,第l司章介绍了AutoCAD2014中文版的重点知识,包括基础操作、环境设置、绘图控制、M维,绘图、图层设置、对象的编辑、图案填充、图块应用、尺寸标注、文字标注、对象查询、三维模型以及文件的打印与输出等内容;第1
-
LTE FDD/EPC网络规划设计与优化
¥70.3(7.9折)定价:¥89.0内容详尽务实,包括基础原理、系统设备、工程设计、规划和优化等;新技术阐述,如hcs、ca、relay、comp、son等; 内容更有层次感,各主题内容单独成章节,读者可以有的放矢和选择性阅读; 作者出版过多本网络规划设计与优化的图书,经验丰富,之前的书荣获过国家级大奖,并被业界多家公司指定为网络优化员工必读图书; 总结了lte fdd试验网测试的相关经验、数据,有针对性地提出了相关建网的建议,非常具有工程实用价值...
-
EDIUS视音频制作标准教程-(第2版)-(含2DVD价格)
¥54.5(5.5折)定价:¥99.0edius非线性编辑岗位技能培训官方指定教材 edius 视音频制作标准教程(第2版) 肖一峰编著 2dvd:21堂1280p高清教学视频 书中难点,一看即会 全部案例的源文件和素材文件 同步练习,提高效...
-
创意之代码-感性图像
¥38.2(7.8折)定价:¥49.0本书主要展示使用coreldraw插件开发技术创作的平面设计作品. 本书中设计作品的制作使用了部分国家自然科学基金《可视化交互式遗传算法与感性工学协同进化的产品创新设计》资助的研究成果,是技术成果在平面艺术设计领域的拓展使用。本书主要面向平面设计中由模糊意象驱动的细节丰富、视觉元素复杂的设计需求,研究增强创意执行力的高效技术方法,并展示技术应用成果...
-
MySQL 5 数据库应用入门与提高-经典清华版-DVD
¥46.8(7.2折)定价:¥65.0本书从初学者的角度出发,由浅入深,循序渐进地介绍了MySQL数据库应用与开发的相关知识,书中不但提供了大量操作MySQL数据库的示例,还提供了大量实战和上机练习供读取演练。 本书共分为15章,主要内容包括MySQL数据库的开发背景、使用优势、发行版本、MySQL数据库的安装和常用的图形操作界面,数据库的操作、数据库表的操作、数据库表中的字段操作、字段约束,表中数据记录的添加、删除、更新和查询操作,常量、系统变量、用户变量、运算符、内部
-
Creo Parametric 2.0 中文版标准教程
¥27.0(5.5折)定价:¥49.0本书由CAD图书资深专家负责策划和编写,包括建模设计、曲面设计、饭金设计、装配设计和工程图等内容,并穿插大量工程应用实例。全书共分11章。第l章一第2章讲解Creo Par。etric 2.0基础知识;第3各第6章讲解基准特征、基础特征、工程特征、复杂特征的创建方法和技巧;第7章~第9章讲解曲面及饭金的编辑方法和技巧,第10章讲解零件的装配过程以及装配爆炸等;第11章讲解各种工程视图的创建和标注。随书配送多功能学习光盘,包含所有讲解实
-
汽车车载电脑使用与维修
¥19.8(6折)定价:¥33.0肖永清、罗礼培主编的《汽车车载电脑使用与维修》系统介绍了汽车流行车载电脑的使用、维护技巧及快速检修方法。主要内容包括:汽车车载电脑概述、汽车车载电脑基础知识,以及汽车车载电脑的使用、维护和检修等。 《汽车车载电脑使用与维修》内容新颖,实例丰富,注重实用,是以私人用车、养车、修车的车主为主要读者对象的通俗读物,适合作为汽车驾驶、维修和技术管理人员的学习参考资料,也可作为职业院校相关专业的培训教材...
-
智慧社区-物联网时代的未来家园
¥40.6(7折)定价:¥58.0新一代信息技术与城市社区的必然邂逅;“黄金十年”后中国房地产的新一轮机遇。 第一本论述“智慧社区”的书籍! 知名学者与地产企业家联合巨著,多名房地产业内知名人士作序推荐。 ...
-
Java高级程序设计-(第二版)
¥11.4(3.8折)定价:¥30.0Java语言具有简单、面向对象、分布式、健壮性、安全性、可移植性、多线程、高性能等诸多优势特点,也是近十年来计算机编程语言排行榜上的佼佼者,可以用于开发各种领域的应用软件。熟练掌握Java语言是软件从业人员的必备技能。本书通过实例讲解了如何使用Java语言开发数据库应用程序、多媒体应用程序、网络应用程序等。这些程序典型简洁,主要功能突出,所涉及的技术可以解决同类问题。本书共包含9章内容。本书实例丰富,内容充实,各章节都提供了大量的实例
-
网络与多媒体技术及应用研究
¥55.2(6折)定价:¥92.0本书全面、系统地介绍了网络与多媒体技术、主要内容包括计算机网络基础、数据通信基本知识、网络协议与体系结构、局域网技术、广域网技术、Internet技术、计算机网络安全等...
-
计算机基础知识项目教程-修订版
¥10.1(3.4折)定价:¥29.8本书是根据中等职业院校对计算机应用专业人才的培养目标和教学大纲的要求,将计算机基础知识以模块方式组织,再通过项目、任务的实施,把计算机的基础知识与实际工作、生活的需要有机结合起来...
-
SQL Server 2008数据库基础
¥20.3(7折)定价:¥29.0本书系统介绍SQL Server 2008的基础知识以及相关应用,采用“案例驱动”的教学模式,将“学生管理”数据库贯穿全书,通过情景描述、问题分析、解决方案的方式引出知识点,并把所学内容用具体实际操作的样例通过“销售价”数据库进行应用实践。全书共分为九个单元,主要内容包括数据库的基本概念、相关理论,数据库系统的设计方法,以及关系规范化;SQL Server 2008的安装运行;创建、管理数据库的命令;创建与管理表的命令;操作数据表的语
-
移动互联网安全技术解析
¥55.3(7.9折)定价:¥70.0本书论述了移动互联网安全技术,全书共分为7章。第1章为移动互联网概述,介绍了移动互联网的发展及其安全的概况;第2章介绍了移动互联网安全基础,包括网络安全通信模型,密码学、认证、IPSec、AAA技术;第3章介绍了移动互联网安全架构,主要包括移动互联网安全威胁、架构、机制;第4章介绍了移动互联网终端安全;第5章介绍了移动互联网网络安全;第6章详细介绍了移动互联网应用安全;第7章介绍了移动互联网安全案例分析,介绍了移动终端安全认证中间件研
-
Clojure Web开发实战
¥32.4(7.2折)定价:¥45.0clojure提供现代web开发需要的工具。本书介绍了如何应用clojure的基础知识来构建现实的web应用解决方案。 clojure web开发实战指南 clojure提供了基于jvm丰富的基础设施,以及强力的函数式语言表达,它性能极佳且兼顾开发高效,你只需要在web应用的开发中将这些优势发挥出来。 本书从clojure编程理论出发,落实具体的开发实践过程。你会通过clojure这个强力的语言处理整个web程序的每一个细
-
C语言程序设计上机指导与习题
¥14.3(5.5折)定价:¥26.0本书是《C语言程序设计》的配套辅导用书,主要介绍了C语言程序的编辑、编译、链接、运行和调试方法。实验包括验证性实验、程序分析类实验和设计性实验,使读者在实验中掌握C语言程序设计的基础知识和应用。本书分为三部分,第一部分是上机实验,共分12章,由20个实验组成,每个实验又包含多个实验项目,内容丰富,其中既包含实验范例,又包含自编程序,目的是采用循序渐进的方式,提高读者分析问题和解决问题的能力;第二三部分是习题与答案,分11章,每章习题都
-
Dreamweaver CS5+ASP动态网站开发与典型实例
¥25.4(4.3折)定价:¥59.0《dreamweaver cs5 +asp动态网站开发与典型实例》以dreamweaver cs5为平台,重点介绍asp动态网站开发技术以及access网站数据库管理技术,使读者能够通过dreamweaver、asp和access的完美组合来创建一个动态网站。 《dreamweaver cs5 +asp动态网站开发与典型实例》讲述的主要技术包括个人网站、留言板网站、新闻发布网站、投票网站、论坛网站、博客网站、邮件收发系统以及
-
UI设计-创意表达与实践
¥32.8(7折)定价:¥46.8《UI设计:创意表达与实践》是国家高等职业教育数字媒体专业群资源库配套教材。 UI设计是高职院校数字媒体艺术设计专业的一门专业必修课程,也是该专业学生需要掌握的核心能力的课程之一。全书包括了解UI设计行业、UI设计师的工作内容,理解UI设计的基础理论知识,掌握图标设计、App界面设计、网页设计设计技巧等内容。 为了学习者能够快速且有效地掌握核心知识和技能,也方便教师采用更有效的传统方式教学,或者更新颖的线上线下的翻转课堂教学模
-
Arduino LabVIEW嵌入式设计与开发
¥10.9(3.4折)定价:¥32.0本书全面介绍LabVIEW for Arduino编译器的基础知识和应用技巧,可以作为Arduino LabVIEW嵌入设计用户手册使用,也可供Arduino LabVIEW嵌入设计与开发工程师、技术...
-
LINUX 用户态 C 语言编程原理与实践
¥111.8(7.5折)定价:¥149.0Linux操作系统上的用户态编程是通过系统调用提供的接口,将原本需要在Linux内核中或者对Linux内核进行多次系统调用才能实现的功能,放到内核之外来实现,从而保证内核的稳定性,获得更强的可拓展性,并且可以将Linux内核的传染性开源协议隔离。 全书共分9章,第1、2章从用户态与内核态的基本概念入手,简要介绍C语言标准库编程以及各种C语言标准库。第3章深入介绍系统调用的概念和计算机架构、特权级与硬件资源访问的关系,以及内核中系统调用
-
AVR单片机应用技能实训-(1CD)
¥27.0(4.9折)定价:¥55.0本书以能力培养为核心,以技能训练为主线,以理论知识为支撑,便于创客实训,可作为大中专院校机、电类专业的理论与实训教材,也可作为技能培训教材,还可供相关工程技术人员参考。特色*为创客创新提供技术和技能*任务驱动模式便于学习掌握*培养实践应用和综合动手能力编辑推荐通过本书你能:*学习单片机基础知识*增强C语言编程技能*掌握单片机程序设计方法与技巧*提高AVR单片机综合应用能力...
-
Visual Basic.NET程序设计(本科教材)
¥24.5(7折)定价:¥35.0本书将Visual Basic.NET程序设计所必须掌握的知识归纳为若干案例,每个案例解决一个问题。初学者只需模仿案例,将获得直接体验,然后学习和案例直接相关的知识。通过一个单元接着一个单元的模仿、学习,逐步地构成完整的知识体系。 全书系统地介绍了.NET的基本概念、Visual Basic.NET的基本语法规则、条件结构、循环结构、数组和集合、函数和过程、常用的类库、面向对象的概念、数据库编程以及文件的概念及使用方法等内容。 目
-
SQL SERVER数据库应用与实践教程
¥25.9(7.2折)定价:¥36.0全书共分13章,内容包括数据库基础、SQL SERVER的安装及简介、数据库管理、表的管理、索引与视图、表达式与流程控制、存储过程、事务、触发器、游标、SQL SERVER安全管理、综合示例和ADO.NET访问数据库。全书每章内容都与实例紧密结合,1-11章配备了实验环节,有助于学生对...
-
数据库原理及应用-SQL Server 2014
¥23.8(8.5折)定价:¥28.0本书是作者在多年的教学实践、科学研究以及项目实践的基础上,参阅了大量国内外相关教材后,几经修改而成,主要特点如下。 1.语言严谨、精练。对数据库中的基本概念和技术进行了清楚准确的解释并结合实例说明,让读者能较轻松地掌握每一个知识点。 2.实际项目开发与理论教学紧密结合。为了使读者能快速地掌握关系型数据库的相关技能并熟练运用,本书在各个章节的重要知识点后面都根据实际项目的数据库完成相关的实训,完整地实现的数据库的设计和程序设计过程。
-
Docker容器与虚拟化技术
¥27.3(7折)定价:¥39.0本书针对具备Linux基础的人群,主要介绍了虚拟化、Docker企业级应用、监控的相关知识与应用,以企业级的实战项目案例,使读者能够掌握应用运维的工作内容。项目案例包括KVM动态迁移、性能优化、Docker企业级应用 、Mesos部署、ELK部署、桌面虚拟化、Nagios与Zabbix部署,通过以上项目案例的训练,读者能够部署虚拟化与容器云,使自己的运维水平达到一个新的高度。本书通过通俗易懂的原理及深入浅出的案例,并配以完善的学习资源
-
大型网站架构与自动化运维
¥25.2(7折)定价:¥36.0本书针对具备Linux基础的人群,主要介绍了缓存加速、监控、分布式文件服务、大型网站架构、自动化运维的相关知识与应用,以企业级的实战项目案例,使读者能够掌握应用运维的工作内容。项目案例包括MFS分布式、百万/千万PV 网站架构、Puppet及ansible自动化运维,通过以上项目案例的训练,读者能够理解大型网站的架构,达到运维自动化的高度。本书通过通俗易懂的原理及深入浅出的案例,并配以完善的学习资源和支持服务,为读者带来全方位 的学习
-
HTML5+CSS3开发实战/肖睿
¥26.6(7折)定价:¥38.0本书会介绍HTML5的新特性、新标准,训练HTML5的网页制作能力。通过CSS3制作各种网页和动画效果,增强用户体验,制作更加精致的网页内容。并且还会学习canvas绘图技能,canvas的出现颠覆了之前编写HTML时只能添加图片的概念,使用canvas实现很多更加酷炫的效果。此外本课程还提供很多企业中实用的经验分享,能够让大家学会知识点的同时也能掌握更多企业需求,提升自己的项目经验...
-
21世纪高等学校计算机系列规划教材LINUX系统应用及编程/耿朝阳
¥31.5(7折)定价:¥45.0本书介绍了Linux操作系统的基础知识、Linux操作系统的常用命令及系统管理方法、Linux操作系统环境下的程序设计技术等内容,涉及的知识面广,内容介绍深入浅出,由易到难,循序渐进,注重能力培养。本书的特点是理论与实践相结合,在介绍Linux操作系统基本理论的基础上,为大部分知识点配有相关例程分析,使读者在掌握理论知识的同时,提高Linux环境编程能力。 本书可作为大学本科计算机相关专业的教材,也可作为从事Linux操作系统应用、开
-
单片机原理、接口及应用——嵌入式系统技术基础(第2版)
¥35.3(7.2折)定价:¥49.0《单片机原理、接口及应用:嵌入式系统技术基础(第2版)》以目前使用广泛的MCS-51系列单片机为背景,介绍嵌入式系统应用的基本技术。 《单片机原理、接口及应用:嵌入式系统技术基础(第2版)》分为4篇共13章,系统地介绍了MCS-51系列单片机的硬件结构、指令系统、功能特点、功能扩展、典型外围接口技术、C51及其应用、系统开发设计、单片机实验等内容。 《单片机原理、接口及应用:嵌入式系统技术基础(第2版)》覆盖了单片机与嵌入式系
-
安全协议形式化分析与验证
¥86.1(7.9折)定价:¥109.0《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结,主要对两种形式化方法做了归纳:基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下:介绍了安全协议形式化分析的研究现状、主要技术流派,以及协议描述语言ProDL,阐述了基于算法知识逻辑的网络安全协议模型检测分析方法,用于显式地刻画入侵者模型能力;在网络安全协议验证模型生成系统中,采用偏序归约、语法重定序以及静态分析等优化
-
“笨办法”学Python 3:进阶篇:The next step for new Python programmers
¥25.4(4.3折)定价:¥59.0知乎、b站等技术大牛倾力推荐的畅销书《笨办法学Python 3》的进阶篇; 数百万编程爱好者追捧的技术专家的全新作品; 52个习题、1130分钟的教学视频,带你步入Python进阶的大门。 本书作者创建了一套非常有效的Python 3学习体系,只要跟着学,你就会像作者教过的数百万初学者一样获得成功!只要你能自律、投入和坚持! 在《笨办法学Python 3》一书中,作者介绍了使用Python 3进行编程的基础知识,而在这本进阶篇中,作者
-
Python Web编程
¥29.9(7.5折)定价:¥39.8Django是利用Python语言开发网站时的优选Web框架。本书循序渐进地介绍了Django 2.0中各个功能模块的实现与使用方法,并以“在线教育平台”为例,讲解了基于Django 2.0开发应用的实用技能。此外,本书还介绍了Django项目的上线部署方法以及在网站实际开发过程中常用的第三方功能模块。本书内容实用性强,案例丰富,侧重于实战,与新技术结合紧密,可综合提高读者的Python Web编程能力。 本书可作为计算机相关专业的教
-
OReilly精品图书系列云原生:运用容器、函数计算和数据构建下一代应用
¥57.7(7.3折)定价:¥79.0本书旨在能够提供一些基础知识,来帮助开发者和架构师更从容地开启云原生应用之旅。本书首先介绍一些分布式系统的基本原理及其与云原生应用的关系,然后再进一步介绍容器和函数等相关技术,接着,本书会介绍服务间的通信模式、服务的弹性和数据模式,并讨论在什么情况下应该使用这些技术,*后会总结一些经验性的东西,例如如何结合DevOps方法,怎么兼顾可移植性,以及一些*佳实践。这些*佳实践对于打造一个成功的云原生应用是很好有帮助的。这本书不会手把手教你
-
Easy PaintTool SAI中文全彩铂金版绘画设计案例教程
¥52.4(7.5折)定价:¥69.9本书以理论知识结合实际案例操作的方式编写,分为基础知识和综合案例两大部分。基础知识篇共7章,对SAI软件的基础知识和功能应用进行了全面的介绍,按照逐渐深入的学习顺序,从易到难、循序渐进地对软件的功能应用进行讲解。在介绍软件各个功能的同时,会根据使用频率,以具体案例的形式,拓展读者的实际操作能力。每章内容学习完成后,还会以“上机实训”的形式对本章所学内容进行综合应用。通过“课后练习”内容的设计,使读者对所学知识进行巩固加深。综合案例篇共
-
少儿编程趣学指南:Scratch3.0篇+Python篇 (全2册)(全彩印刷)
¥41.4(6折)定价:¥69.0本系列书是一套面向青少年的图文并茂的编程入门书,作者用新奇又有趣的方式带你熟悉 Scratch 3.0 和 Python 等时下流行的编程语言,学习简单又有代表性的程序,熟悉编程技巧,创造属于你自己的游戏项目和APP应用。深入学习本系列书,你将成为一名编程小行家...
-
DaVinci Resolve中文版达芬奇视频调色与特效完全自学教程
¥75.6(7折)定价:¥108.0DaVinci Resolve 又称达芬奇,是一款专业的影视调色剪辑软件,为用户提供了多种视频编辑功能与效果,可用于视频调色、剪辑、合成以及制作专业音频、字幕文件等,是常用的视频编辑软件之一。书中以作者拍摄的视频为素材,通过110 个小案例,与大家分享一下达芬奇调色的经验、技巧,以及软件的功能、面板等内容,帮助读者快速熟悉运用DaVinci Resolve 软件。 本书内容丰富,循序渐进,理论与实践相结合,既适合广大影视制作、调
-
计算机应用基础项目化教程:Windows 7+Office 2010
¥34.6(7.2折)定价:¥48.0本书是根据高校计算机公共基础课教学的需要,参照全国计算机技术与软件专业技术资格考试(简称软考)“信息处理技术员”级别和全国计算机等级考试一级“计算机基础及MS Office应用”的考试大纲要求编写的。在内容安排上,本书采用教、学、做相结合的模式,力求使读者在掌握好基础知识的同时启发其思考,并培养其动手能力。本书在精选任务实例时,将知识点融入实例中,增强了实用性、操作性和可读性。 本书内容由七个项目组成,每个项目下设计了多个任务,使读
-
大学计算机
¥37.8(7折)定价:¥54.0本书分为七章,主要内容包括计算机系统基础、操作系统基础、文字处理软件Word2016、电子表格处理软件Excel2016、演示文稿制作软件PowerPoint2016、网络通信与信息安全等...
-
大学计算机基础(第四版)
¥21.4(4.3折)定价:¥49.8《大学计算机基础(第4版)》是在第三版基础上,根据教育部高等学校大学计算机课程教学指导委员会提出的《大学计算机基础课程教学基本要求》,并立足通识教育,以计算思维为出发点,培养思维能力和应用能力为主线而编写。全书共11章,主要内容包括:计算思维导论、计算机中的信息表示、计算机硬件系统、计算机操作系统、办公软件基础知识与功能设计、数据库技术基础、计算机网络基础、多媒体技术基础、信息社会与安全、问题求解的算法基础与程序设计、计算机发展前
-
面向对象程序设计Java
¥39.2(7折)定价:¥56.0本书的内容大体可分为两个部分。第1章一第4章为第一部分, 着重介绍java面向对象的基本知识点, 主要有java的基本环境、java语言基础、java工程规范、面向对象基本概念、基本特征、概念深化、异常处理等, 读者通过这部分的学习可以用java语言建立起面向对象思维的能力, 其中第3章-第4章是本部分的重点 ; 第5章-第9章为第二部分, 着重介绍java语言的应用, 主要有java常用类库与工具、线程、集合类框架、awt与swin