PLC程序组合检测理论与方法 集不同的检测验证方法之所长,应用到安全攸关工业控制领域,是一种很好的技术途径。在许多关键理论技术或成果之处提供了较多的参考文献标注,以便于读者深入研究。
工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是国家安全的重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂性及规模也愈加庞大,PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作,体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信性、安全与正确属性检测验证等问题。
¥136.20定价:¥139.00 (9.8折)
名师导读《鲁滨孙漂流记》(书内增加了名师导航、名师导读、名师指津、咬文嚼字、英语学习馆、名师点拨、学习要点、写作借鉴、知
¥56.80定价:¥58.00 (9.8折)
名师导读《简·爱》(书内增加了名师导航、名师导读、名师指津、咬文嚼字、英语学习馆、名师点拨、学习要点、写作借鉴、知识链接
¥56.80定价:¥58.00 (9.8折)
名师导读《爱丽丝漫游奇境记》(书内增加了名师导航、名师导读、名师指津、咬文嚼字、英语学习馆、名师点拨、学习要点、写作借鉴
¥56.80定价:¥58.00 (9.8折)
名师导读《格列佛游记》(书内增加了名师导航、名师导读、名师指津、咬文嚼字、英语学习馆、名师点拨、学习要点、写作借鉴、知识
¥56.80定价:¥58.00 (9.8折)
为自信的自己鼓掌 肖楠 自信心培养书籍 树立自信树立原则 建立自信的技巧寻找自信内心强大书 提高自信心书籍 成功励志心灵 1
¥27.90定价:¥39.80 (7.02折)
墨迪图书 只售正版 脑筋急转弯(出乎意料)/脑筋急转弯系列丛书 就近仓发货
¥8.04定价:¥9.90 (8.13折)
为自信的自己鼓掌 经过千锤百炼的实力,是自信的前提;努力克服自己的缺点,是自信的底气;磨炼已经拥有的技能,是自信的根基。
¥39.80定价:¥39.80
¥31.96定价:¥68.00 (4.7折)
明星店铺 博库网旗舰店
设计师起点·工业造型设计【正版畅销】 【热销推荐,正版现货,全国三仓就近发货,物流快捷,欢迎选购!】
¥14.00
霸屏营销全套5册短视频营销直播书籍新手从业指南零基础教程新媒体运营抖音热门轻松玩转自媒体社群营销推广
¥29.90定价:¥149.00 (2.01折)
设计师起点·工业造型设计 白雪,肖楠 著 河南美术出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
¥23.64定价:¥57.28 (4.13折)
¥41.36定价:¥88.00 (4.7折)
明星店铺 博库网旗舰店
¥33.84定价:¥72.00 (4.7折)
明星店铺 博库网旗舰店
¥44.18定价:¥94.00 (4.7折)
明星店铺 博库网旗舰店
¥36.66定价:¥78.00 (4.7折)
明星店铺 博库网旗舰店
¥83.66定价:¥178.00 (4.7折)
明星店铺 博库网旗舰店
¥26.64定价:¥72.00 (3.7折)
明星店铺 博库网旗舰店
¥31.96定价:¥68.00 (4.7折)
明星店铺 博库网旗舰店
¥45.12定价:¥96.00 (4.7折)
明星店铺 博库网旗舰店
¥78.96定价:¥168.00 (4.7折)
明星店铺 博库网旗舰店
¥56.40定价:¥120.00 (4.7折)
明星店铺 博库网旗舰店
¥46.06定价:¥98.00 (4.7折)
明星店铺 博库网旗舰店
¥36.66定价:¥78.00 (4.7折)
明星店铺 博库网旗舰店
¥83.66定价:¥178.00 (4.7折)
明星店铺 博库网旗舰店
¥60.16定价:¥128.00 (4.7折)
明星店铺 博库网旗舰店
¥55.46定价:¥118.00 (4.7折)
明星店铺 博库网旗舰店
¥97.08定价:¥198.00 (4.91折)
明星店铺 博库网旗舰店
¥31.96定价:¥68.00 (4.7折)
明星店铺 博库网旗舰店
¥78.96定价:¥168.00 (4.7折)
明星店铺 博库网旗舰店
¥78.96定价:¥168.00 (4.7折)
明星店铺 博库网旗舰店
¥27.26定价:¥58.00 (4.7折)
明星店铺 博库网旗舰店
¥60.16定价:¥128.00 (4.7折)
明星店铺 博库网旗舰店
理想视野规范(附光盘戏曲教育的实验北平市私立中国高级戏曲职业学校中华戏校1930-1940 李如茹|责编:肖楠//齐钰 新华正版全新 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠
本书通过梳理北平市私立中国高级戏曲职业学校(中华戏校)的历史沿革,并讨论办校人、办校总之、组织结构、教职员安排、教学准则、课程标准与实习演习,专著考察、研究戏校的种种办学思想和实践,认识该校在戏曲教育方面的重要地位及其在京剧史研究中的独特价值。本书叙述详尽、资料丰富,作者参阅了大量文献,以表格、数字统计等方式,向读者展示了北平市私立中国高级戏曲职业学校(中华戏校)的具体组织形式、演出情况、办学宗
¥114.00定价:¥228.00 (5折)
¥45.80定价:¥58.00 (7.9折)
理查德·克莱德曼经典钢琴曲(第5次印刷) 编者:雨萌|责编:肖楠 中国戏剧 【新华书店正版图书书籍】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠
¥33.90定价:¥68.00 (4.99折)
¥74.26定价:¥158.00 (4.7折)
明星店铺 博库网旗舰店
¥46.06定价:¥98.00 (4.7折)
明星店铺 博库网旗舰店
春风细雨此时花开(中央戏剧学院高参小项目师资培训计划教师成果集)
¥36.66定价:¥78.00 (4.7折)
明星店铺 博库网旗舰店
¥9.40定价:¥9.40
¥46.06定价:¥98.00 (4.7折)
明星店铺 博库网旗舰店
¥44.65定价:¥95.00 (4.7折)
明星店铺 博库网旗舰店
优秀剧作选(1949-2019韶关戏曲卷)(精)/广东戏剧文库
¥46.06定价:¥98.00 (4.7折)
明星店铺 博库网旗舰店
¥13.44定价:¥29.00 (4.64折)
明星店铺 博库网旗舰店
¥11.75定价:¥25.00 (4.7折)
明星店铺 博库网旗舰店
正版 素描(一年级)(第二版) 于艳灵 赵兰芬 肖楠 9787040570168 高等教育出版社
¥36.80定价:¥46.00 (8折)
¥64.86定价:¥138.00 (4.7折)
明星店铺 博库网旗舰店
新时代中国戏曲的新局面与新挑战:第六届中国戏曲文化周学术活动文集
¥46.06定价:¥98.00 (4.7折)
明星店铺 博库网旗舰店
¥97.08定价:¥198.00 (4.91折)
明星店铺 博库网旗舰店
红楼梦四大名著足本精校+写作背景+内容梗概+思维导图+章节导读+详细注释+疑难注音+真
¥18.32定价:¥49.50 (3.71折)
明星店铺 博库网旗舰店
R数据可视化手册 【正版书】 【店主推荐,正版书放心购买,可开发票】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统,指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的50多种技巧,每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题,查阅相应的解决方案。同时,作者在大部分的技巧之后会进行一些讨论和延伸,介绍一些总结出的绘图技巧。《R数据可视化手册》侧重于解决具体问题,是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的,充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图,到如何添加注解、修改坐标轴和图例,再到分面的使用和颜色的选取等,本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2,但是并不仅仅局限于ggpl
¥9.88
R数据可视化手册 【正版书】 【店主推荐,正版书放心购买,可开发票】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统,指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的50多种技巧,每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题,查阅相应的解决方案。同时,作者在大部分的技巧之后会进行一些讨论和延伸,介绍一些总结出的绘图技巧。《R数据可视化手册》侧重于解决具体问题,是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的,充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图,到如何添加注解、修改坐标轴和图例,再到分面的使用和颜色的选取等,本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2,但是并不仅仅局限于ggpl
¥9.84
R数据可视化手册 【正版书】 【店主推荐,正版书放心购买,可开发票】
R具有强大的统计计算功能和便捷的数据可视化系统。《R数据可视化手册》重点讲解R的绘图系统,指导读者通过绘图系统实现数据可视化。书中提供了快速绘制高质量图形的50多种技巧,每个技巧用来解决一个特定的绘图需求。读者可以通过目录快速定位到自己遇到的问题,查阅相应的解决方案。同时,作者在大部分的技巧之后会进行一些讨论和延伸,介绍一些总结出的绘图技巧。《R数据可视化手册》侧重于解决具体问题,是R数据可视化的实战秘籍。《R数据可视化手册》中绝大多数的绘图案例都是以强大、灵活制图而著称的R包ggplot2实现的,充分展现了ggplot2生动、翔实的一面。从如何画点图、线图、柱状图,到如何添加注解、修改坐标轴和图例,再到分面的使用和颜色的选取等,本书都有清晰的讲解。虽然本书的大多数技巧使用的是ggplot2,但是并不仅仅局限于ggpl
¥9.07
为自信的自己鼓掌 中国纺织出版社有限公司 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥17.90定价:¥39.80 (4.5折)
¥116.76定价:¥139.00 (8.4折)
写给女孩的绝佳好书 打造完美女孩的44个细节 【正版保证】 【店主推荐,正版书放心购买,可开发票】
《写给女孩的好书 打造完美人孩的44个细节》涵盖美丽、生活、才艺、自然、成长、娱乐和思想等七大内容。向你传授快乐生活的秘诀,帮你发现身上无尽的潜质,鼓励你勇敢实现自己的梦想,教你享受沐浴在橙色暖阳下的健康生活,与你分享如何做一个魅力四射的玫瑰女孩的经验……飘逸着美丽的幻想,萦绕着细腻湿婉的心思……涵盖完美人孩绚丽多彩生活的方方面面,孕情点燃女孩们奔涌的灵感!
¥6.83定价:¥64.99 (1.06折)
带一本书去广州 肖楠 科学技术文献出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
城市在你眼中是副什么模样?是繁华的街道,林立的高楼,拥挤的人群?是表面的印象,模糊的想象,迫切的期待?抑或是一段绯色传奇,几个亮丽故事?其实,每个城市都有不同的表情不同性格,在那些高楼广厦下流淌的是她深入骨髓的风情,这些往往被匆忙或走马观花所掩盖了……那么,现在就让我们带着这本书,去感受一个城市——广州!
¥9.00定价:¥25.37 (3.55折)
北京服装学院、北京工业大学创意速写全攻略 肖楠,白雪 著,蔡柯 编 北京工艺美术出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥24.00定价:¥85.00 (2.83折)
带一本书去广州 肖楠 科学技术文献出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
城市在你眼中是副什么模样?是繁华的街道,林立的高楼,拥挤的人群?是表面的印象,模糊的想象,迫切的期待?抑或是一段绯色传奇,几个亮丽故事?其实,每个城市都有不同的表情不同性格,在那些高楼广厦下流淌的是她深入骨髓的风情,这些往往被匆忙或走马观花所掩盖了……那么,现在就让我们带着这本书,去感受一个城市——广州!
¥14.00定价:¥35.37 (3.96折)
带一本书去广州 肖楠 科学技术文献出版社,【正版可开发票】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
城市在你眼中是副什么模样?是繁华的街道,林立的高楼,拥挤的人群?是表面的印象,模糊的想象,迫切的期待?抑或是一段绯色传奇,几个亮丽故事?其实,每个城市都有不同的表情不同性格,在那些高楼广厦下流淌的是她深入骨髓的风情,这些往往被匆忙或走马观花所掩盖了……那么,现在就让我们带着这本书,去感受一个城市——广州!
¥8.00定价:¥23.37 (3.43折)