PLC程序组合检测理论与方法 集不同的检测验证方法之所长，应用到安全攸关工业控制领域，是一种很好的技术途径。在许多关键理论技术或成果之处提供了较多的参考文献标注，以便于读者深入研究。
工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业，是国家安全的重要组成部分。可编程逻辑控制器（Programming Logic Controler，PLC）是一种嵌入式系统和自动控制系统的核心部件，其复杂性及规模也愈加庞大，PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上，虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜，如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作，体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法，解决PLC程序运行可信性、安全与正确属性检测验证等问题。
¥66.10定价：¥139.00 (4.76折)
![R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 9787115299901 人民邮电出](images/model/guan/url_none.png)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 9787115299901 人民邮电出 【速开发票，优质售后，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥46.90定价：¥94.80 (4.95折)
R数据可视化手册 [美]Winston Chang 著；肖楠、邓一硕、魏太云 译 9787115342270 人民邮电出 【速开发票，优质售后，支持7天无理由退换】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥39.50定价：¥80.00 (4.94折)
¥87.57定价：¥139.00 (6.3折)
R数据可视化手册【正版图书，达额减，电子发票】 【正版书籍，满额减，电子发票】
作者基于自己的RCookbook网站的内容写成本书，有很好的实用性。 书提供了快速绘制高质量图形的150多个精选的技巧，读者不需要了解R绘图系统的细节便可以掌握这些技巧。 书中的大多数方法使用的是以强大、灵活制图而著称的ggplot2包。
¥47.00定价：¥95.00 (4.95折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 人民邮电出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥15.48定价：¥31.96 (4.85折)
R数据可视化手册[美]Winston Chang 著；肖楠、邓一硕、魏太云 译人民邮电出版社9787115342270 正版旧书，保证质量，此书为单本而非一套，电子发票！
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥22.80定价：¥112.40 (2.03折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 9787115299901 人民邮电出 【速开发票，优质售后，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥23.00定价：¥46.00 (5折)
R数据可视化手册 [美]Winston Chang 著；肖楠、邓一硕、魏太云 译 人民邮电出版社【售后无忧】 【速开发票，优质售后，支持7天无理由退换】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥44.50定价：¥177.00 (2.52折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 【速开发票，优质售后，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥19.20定价：¥126.40 (1.52折)
R数据可视化手册 [美]Winston Chang 著；肖楠、邓一硕、魏太云 译 人民邮电出版社【达额立减】 【速开发票，优质售后，支持7天无理由退换】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥15.99定价：¥35.00 (4.57折)
R数据可视化手册[美]Winston Chang 著；肖楠、邓一硕、魏人民邮电出版社（正版旧书）978711534227 正版旧书，保证质量，此书为单本而非一套，电子发票！
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥22.90定价：¥128.10 (1.79折)
中国航天空间信息技术系列：PLC程序组合检测理论与方法 （精装）
¥131.95定价：¥139.00 (9.5折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 人民邮电出版社【达额立减】 【速开发票，优质售后，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥14.99定价：¥33.00 (4.55折)
R数据可视化手册【售后无忧】 【正品保证，进入店铺更多优惠！】
编辑推荐
¥44.50定价：¥267.00 (1.67折)
R语言实战[美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译人民邮电出版社9787115299901 正版旧书，保证质量，此书为单本而非一套，电子发票！
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥19.40定价：¥141.80 (1.37折)
R数据可视化手册 [美]Winston Chang 著；肖楠、邓一硕、魏太云 译 【速开发票，优质售后，支持7天无理由退换】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统，指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的150多种技巧，每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题，查阅相应的解决方案。同时，作者在大部分的技巧之后会进行一些讨论和延伸，介绍一些总结出的绘图技巧。 《R数据可视化手册》侧重于解决具体问题，是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的，充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图，到如何添加注解、修改坐标轴和图例，再到分面的使用和颜色的选取等，本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2，但是并不仅
¥16.00定价：¥120.00 (1.34折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 人民邮电出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥35.88定价：¥81.76 (4.39折)
R语言实战 [美]Robert I. Kabacoff 著；高涛、肖楠、陈钢 译 9787115299901 人民邮电出 【速开发票，优质售后，支持7天无理由退换】
数据时代已经到来，但数据分析、数据挖掘人才却十分短缺。由于“大数据”对每个领域的决定性影响，相对于经验和直觉，在商业、经济及其他领域中基于数据和分析去发现问题并作出科学、客观的决策越来越重要。开源软件R是世界上流行的数据分析、统计计算及制图语言，几乎能够完成任何数据处理任务，可安装并运行于所有主流平台，为我们提供了成千上万的专业模块和实用工具，是从大数据中获取有用信息工具。 《R语言实战》从解决实际问题入手，尽量跳脱统计学的理论阐述来讨论R语言及其应用，讲解清晰透澈，极具实用性。作者不仅高度概括了R语言的强大功能、展示了各种实用的统计示例，而且对于难以用传统方法分析的凌乱、不完整和非正态的数据也给出了完备的处理方法。通读本书，你将全面掌握使用R语言进行数据分析、数据挖掘的技
¥39.00定价：¥166.00 (2.35折)
R数据可视化手册 [美]Winston Chang 著,肖楠,邓一硕,魏太云 译 人民邮电出版社【正版书籍】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
作者基于自己的RCookbook网站的内容写成本书，有很好的实用性。 书提供了快速绘制高质量图形的150多个精选的技巧，读者不需要了解R绘图系统的全部细节便可以掌握这些技巧。 书中的大多数方法使用的是以强大、灵活制图而著称的ggplot2包。
¥11.94定价：¥38.18 (3.13折)
R数据可视化手册 全彩印刷！用R做数据可视化的实用手册，精选快速绘制高质量图形的150多个技巧 精美彩色印刷
作者基于自己的RCookbook网站的内容写成本书，有很好的实用性。 书提供了快速绘制高质量图形的150多个精选的技巧，读者不需要了解R绘图系统的全部细节便可以掌握这些技巧。 书中的大多数方法使用的是以强大、灵活制图而著称的ggplot2包。
¥61.40定价：¥89.00 (6.9折) 电子书：¥56.96
