工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译 机 【速开发票,优质售后,支持7天无理由退换】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥50.00定价:¥188.00 (2.66折)
19世纪建筑 (意)斯特凡尼娅·科隆纳-普雷蒂(Stefania Colonna-Preti) 北京美术摄影出版社 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥44.50定价:¥99.00 (4.5折)
明星店铺 北方图书城旗舰店
工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译 9 【速开发票,优质售后,支持7天无理由退换】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥51.48定价:¥190.96 (2.7折)
工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译 机 【速开发票,此书为单本而非一套,支持7天无理由退换】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥49.75定价:¥99.90 (4.98折)
19世纪建筑 (意)斯特凡尼娅·科隆纳-普雷蒂(Stefania Colonna-Preti) 北京美术摄影出版社
¥42.50定价:¥99.00 (4.3折)
工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译【速 【正版】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥50.00定价:¥188.00 (2.66折)
工业关键系统的形式化方法:应用综述[意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译机械工 正版旧书,保证质量,此书为单本而非一套,电子发票!
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥60.70定价:¥233.50 (2.6折)
工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译 机 【速开发票,此书为单本而非一套,支持7天无理由退换】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥52.45定价:¥106.30 (4.94折)
相关性准则:大数据时代的高效能之道 [意]Stefania、Lucchetti 著;李芳、王卓 译 人民邮电出版社 【速开发票,此书为单本而非一套,支持7天无理由退换】
在这个信息爆炸的时代,许多人每天埋没于邮件、消息和电话中难以自拔。因为担心不回复这些沟通信息就会失去某些东西,我们努力回复所有信息,而这往往会打断我们的思路和注意力,以致有可能降低工作效能。 《相关性准则——大数据时代的高效能之道》告诉读者,要学会过滤不必要的信息以及选择、使用相关信息。通过阅读本书并学习“相关性准则”的方法,训练自己提升大脑能力,帮助大脑获取、处理多层次信息并仅对相关信息做出反应。书中详细阐释了“相关性原则”的理论和基础,如何发现相关性,如何训练大脑识别相关性,如何在生活、工作中应用相关性并取得成效。 《相关性准则——大数据时代的高效能之道》适合不同行业和背景、各个层级的职场人士阅读。《相关性准则——大数据时代的高效能之道》能够帮助读者在纷杂的信
¥26.80定价:¥55.00 (4.88折)
工业关键系统的形式化方法:应用综述 [意]Stefania、Tiziana Margaria 著;连晓峰、赵添絮 译 机 【速开发票,此书为单本而非一套,支持7天无理由退换】
形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。 《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。 《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自
¥62.35定价:¥125.70 (4.97折)
19世纪建筑 (意)斯特凡尼娅·科隆纳-普雷蒂(Stefania Colonna-Preti) 北京美术摄影出版社 新华书店,电子发票,多仓就近发货
¥42.50定价:¥99.00 (4.3折)
预订Fashion: The Ultimate History of Costume: From Prehistory 预订,预计下单后3-6周左右发货!
¥362.00
【预订】Impasse of the Angels: Scenes from a Moroccan Space of M 美国库房发货,通常付款后3-5周到货!
¥371.00
【预订】Greece 9780520256477 美国库房发货,通常付款后3-5周到货!
¥333.00
预订 Catalytic Transformation of Renewables (Olefin, Bio-sourc 【全球购】进口原版图书,约3-6周到达国内后发出
¥555.00
3-6周达 高被引Lte - The Umts Long Term Evolution: From Theory to 【全球购】进口原版图书,预计3-6周左右到国内
¥1373
海外直订Structural and Functional Analysis of Extracts in Plants
¥906.00
海外直订Aixia 2021 - Advances in Artificial Intelligence: 20th I
¥1099
【3-6周达】Under Arturo's Star: The Cultural Legacies of Elsa Mo 【全球购】进口原版图书,预计3-6周左右到国内
¥566.00
预订 Salvatore Ferragamo 1898-1960 [ISBN:9788892825475] 【全球购】进口原版图书,一般5-8周左右到国内后发出
¥651.00
预订 听觉接口Auditory Interfaces [ISBN:9781032196459] 【全球购】进口原版图书,一般5-8周左右到国内
¥601.00
预订 Ways of Seeing, Ways of Being: Representing the Voices of 国外库房发货,通常付款后3-5周到货
¥2319
【预订】The Amazing Shoemaker: Fairy Tales and Legends about Sho 美国库房发货,通常付款后3-5周到货!
¥449.00
预订 Cases and Materials on Eu Private International Law [ISBN 【全球购】进口原版图书,约3-6周到达国内后发出
¥818.00
海外直订医药图书Gastrointestinal Cancers and Personalized Medicine 胃
¥545.00
预订 Morphodynamics in Aesthetics: Essays on the Singularity o 【全球购】进口原版图书,预计3-6周左右到国内
¥513.00
【中商原版】工业关键系统的正式方法 应用综述 Formal Methods For Industrial Critica StefaniaGnesi
¥849.00
预订 Reproducing Inequalities in Teaching: Gender, Class and E 国外库房发货,通常付款后3-5周到货
¥527.00
【预订】9 Realities of Caring for an Elderly Parent 美国库房发货,通常付款后3-5周到货!
¥249.00
国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演[意]塞西亚(Stefania Sesia)、[摩 正版旧书,保证质量,此书为单本而非一套,电子发票!
《国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演进理论与实践》作者来自移动通信系统的不同技术领域,集思广益,使本书呈现出耳目一新的多样性观点。这些作者有在3GPP这一标准制定环境下长期工作的经验,因此对LTE相关资料有透彻的理解。也正因如此,《国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演进理论与实践》作者走到了一起。LTE的讨论开始于2004年的3GPP会议。实际上它已经不是一个特别新的主题。为了充分理解产生这一技术的思想,从发展之初来了解LTE这一主题及相关的讨论是很有必要的。此外,重要的是要了解通过共同研究和讨论把学术研究和制定标准联系起来。人们普遍认为,通过这条路线可以把不可能的梦想变成为现实。针对LTE所依托技术基础的可行性,人们已经做了大量的研究。如果试图向更广泛的受众解释LTE技术,借鉴这些研究成果很
¥15.30定价:¥112.10 (1.37折)
【3-6周达】Essays on Husserl's Logic and Philosophy of Mathemati 【全球购】进口原版图书,预计3-6周左右到国内
¥1363
预订 Greek Cooking My Way: Traditional Recipes Infused with Wo 国外库房发货,通常付款后3-5周到货
¥527.00
按需印刷Under Arturo's Star 预订,预计下单后2-3周左右发货!
¥618.00
预订 Intracellular Ion Channel 1 Between Neurogenesis and Neur 【全球购】进口原版图书,一般5-8周左右到国内
¥751.00
【预订】Directory of Approved Biopharmaceutical Products 美国库房发货,通常付款后3-5周到货!
¥3616
预订 Synthesis, Properties and Applications of Germanium Chalc 【全球购】进口原版图书,约3-6周到达国内后发出
¥672.00
预订 1927 the Return to Italy: Salvatore Ferragamo and the Twe 【全球购】进口原版图书,一般5-8周左右到国内
¥564.00
预订 Life Cycle Approaches to Sustainable Regional Development 【全球购】进口原版图书,一般5-8周左右到国内
¥421.00
3-6周达 Building Efficient Management and Leadership Practices 【全球购】进口原版图书,预计3-6周左右到国内
¥1010
英文原版 Paper Crafts for Kids 儿童纸工艺品制作活动 剪纸 折纸 技巧指南 提高动手能力 英文版
¥93.00
¥1541
海外直订Successful Case-Based Reasoning Applications - 1 成功的基于案例
¥1474
3-6周达 Successful Case-Based Reasoning Applications [ISBN:978 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥1514
按需印刷TF Auditory Interfaces 预订,预计下单后2-3周左右发货!
¥542.00
按需印刷Directory of Approved Biopharmaceutical Products 预订,预计下单后3-4周左右发货!
¥756.00
预订 Contemporary Fuzzy Logic: A Perspective of Fuzzy Logic wi 【全球购】进口原版图书,预计3-6周左右到国内
¥744.00
3-6周达 Contemporary Fuzzy Logic: A Perspective of Fuzzy Logic 【全球购】进口原版图书,预计3-6周左右到国内
¥571.00
【预订】萨尔瓦托·菲拉格慕 1898-1960 Salvatore Ferragamo 1898-1960 英文原版鞋包 预订图书大约8-12周发货
¥419.00
预订 A New Euro-Mediterranean Cultural Identity 欧洲-地中海文化新认同: 9 国外库房发货,通常付款后3-5周到货
¥648.00
【预订】Harmonic Analysis and Operator Theory, Part I: Cora Sado 美国库房发货,通常付款后3-5周到货!
¥1825
国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演进理论与实践[意]塞西亚(Stefania Ses 正版图书,下单速发,可开发票
《国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演进理论与实践》作者来自移动通信系统的不同技术领域,集思广益,使本书呈现出耳目一新的多样性观点。这些作者有在3GPP这一标准制定环境下长期工作的经验,因此对LTE相关资料有透彻的理解。也正因如此,《国际先进通信技术译丛·LTE/LTE-Advanced:UMTS长期演进理论与实践》作者走到了一起。LTE的讨论开始于2004年的3GPP会议。实际上它已经不是一个特别新的主题。为了充分理解产生这一技术的思想,从发展之初来了解LTE这一主题及相关的讨论是很有必要的。此外,重要的是要了解通过共同研究和讨论把学术研究和制定标准联系起来。人们普遍认为,通过这条路线可以把不可能的梦想变成为现实。针对LTE所依托技术基础的可行性,人们已经做了大量的研究。如果试图向更广泛的受众解释LTE技术,借鉴这些研究成果很
¥134.00定价:¥269.00 (4.99折)
海外直订Horizons in Sustainable Industrial Chemistry and Catalys
¥3103
3-6周达 Case Studies on the Business of Nutraceuticals, Functi 【全球购】进口原版图书,预计3-6周左右到国内后发出
¥1668
预订 Geometry and Invariance in Stochastic Dynamics: Verona, I 【全球购】进口原版图书,预计3-6周左右到国内
¥1424
【预订】Positioning and Location-Based Analytics in 5g and Beyon 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781119911432 Author 作者 Stefania Bartoletti Format 版本 精装 Pages Number 页数 256页 Publisher 出版社 Wiley-IEEE Press Publication Date 出版日期 2023-10-03 Product Dimensions 商品尺寸 15.24 x 22.86 cm. Language 语种 其它(含多语) Book Contents 内容简介 Understand the future of cellular positioning with this introduction The fifth generation (5G) of mobile network technology, as well as coming generations beyond 5G, are revolutionizing numerous aspects of cellular communication. Location information is one of the most important of these, which promises to make possible a range of new location-dependent services for end users and providers alike. With the new possibilities of this location technology comes a new demand for location-based analytics, a new paradigm for generating and analyzing dynamic location data for a wide variety of purposes. Posit
¥1640
Integral Equations with Difference Kernels on Finite Interv. 现货图书
¥510.00
预订 Haskell Quick Syntax Reference: A Pocket Guide to the Lan 【全球购】进口原版图书,预计3-6周左右到国内
¥349.00
海外直订Rules and Reasoning: International Joint Conference, Rul
¥534.00
【预订】Geometry and Invariance in Stochastic Dynamics 978303087 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030874315 Author 作者 Stefania Ugolini Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-15 Language 语种 其它(含多语) Book Contents 内容简介 This book grew out of the Random Transformations and Invariance in Stochastic Dynamics conference held in Verona from the 25th to the 28th of March 2019 in honour of Sergio Albeverio. It presents the new area of studies concerning invariance and symmetry properties of finite and infinite dimensional stochastic differential equations.This area constitutes a natural, much needed, extension of the theory of classical ordinary and partial differential equations, where the reduction theory based on symmetry and invariance of such classical equations has historically proved to be very important both for theoretical and numerical studies and has given rise
¥1825
3-6周达 Sonic Interactions in Virtual Environments [ISBN:97830 【全球购】进口原版图书,预计3-6周左右到国内
¥513.00