形式化什么牌子好,形式化哪里有卖? - 第6页 - 甘肃模具平台

全部>“形式化” 共292个商品

形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二

￥615 券后￥635 0人已购买
优惠券￥ 20  领券购买 
形式化方法建模 Applications Industrial

海外直订Industrial Applications of Formal Methods to Model, Design and Analyze Computer 形式化方法在计算机系统建模

￥846 券后￥866 0人已购买
优惠券￥ 20  领券购买 
形式化 Specifications Foundations 实时

海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础：形式化规范和方法

￥1,520 券后￥1,550 0人已购买
优惠券￥ 30  领券购买 
形式化细化内核 Refinement

海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 Sefm Engineering

海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm

￥1,018 券后￥1,048 0人已购买
优惠券￥ 30  领券购买 
形式化浮点硬件设计 Mathematical

海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

￥993 券后￥1,023 0人已购买
优惠券￥ 30  领券购买 
形式化建模生物学 Bioinformatics

海外直订Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools 系统生物学建模与分析:形式化

￥1,627 券后￥1,657 0人已购买
优惠券￥ 30  领券购买 
容错形式化 International Techniques

海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式嵌入式 Distributed

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化 Description Programming Concepts

海外直订Formal Description of Programming Concepts 编程概念的形式化描述

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
可视化 Visualising Engagement Skyscapes

预订 Visualising Skyscapes: Material Forms of Cultural Engagement with the Heavens 可视化天空景观：与天堂互动的物质形式:

￥543 券后￥603 0人已购买
优惠券￥ 60  领券购买 
形式化方法分布式 Distributed 基于

海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法：第1卷

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
言和结构化 International Structured

海外直订Structured Object-Oriented Formal Language and Method: 11th International Worksh 结构化面向对象的形式语言和

￥595 券后￥615 0人已购买
优惠券￥ 20  领券购买 
形式化 Techniques Analyzing Protocols

海外直订Formal Models and Techniques for Analyzing Security Protocols: A Tutorial 分析安全协议的形式化模型和技术:教

￥843 券后￥863 0人已购买
优惠券￥ 20  领券购买 
形式化方法 System 系统 Perspective

海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视

￥1,878 券后￥1,908 0人已购买
优惠券￥ 30  领券购买 
Python 研修培训课程易懂

预订よくわかるPython入門人気の研修コースを書籍化! 简单易懂的 Python 简介 - 热门培训课程现已以书形式提供！: 97849389279

￥288 券后￥328 0人已购买
优惠券￥ 40  领券购买 
形式化社会学 Formalization Theoretical

海外直订The Meaning of General Theoretical Sociology: Tradition and Formalization 一般理论社会学的意义:传统与形式化

￥1,301 券后￥1,331 0人已购买
优惠券￥ 30  领券购买 
形式化方法演算实时 Duration

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式 Distributed Processing

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面

￥636 券后￥656 0人已购买
优惠券￥ 20  领券购买 
复杂系统形式化方法 Systems Complex

海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法

￥2,027 券后￥2,057 0人已购买
优惠券￥ 30  领券购买 
伽罗模块化形式 Modular

海外直订Galois Theory and Modular Forms 伽罗瓦理论与模块化形式

￥1,624 券后￥1,654 0人已购买
优惠券￥ 30  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
形式化内核 Operating 模型

海外直订Formal Models of Operating System Kernels 操作系统内核的形式化模型

￥1,520 券后￥1,550 0人已购买
优惠券￥ 30  领券购买 
模块化 Functions 形式 Modular

海外直订Modular Forms and Functions 模块化形式和功能

￥650 券后￥670 0人已购买
优惠券￥ 20  领券购买 
悉尼爵士乐本土化 Localization

预订 Austral Jazz: The Localization of a Global Music Form in Sydney 南方爵士乐：全球音乐形式在悉尼的本土化: 97811383160

￥1,868 券后￥1,958 0人已购买
优惠券￥ 90  领券购买 
形式化建模 Electronic Modelling

海外直订Formal Modelling in Electronic Commerce 电子商务中的形式化建模

￥2,356 券后￥2,386 0人已购买
优惠券￥ 30  领券购买 
城市化 9783412222727 Inszenierung 预订

预订 Urbanität: Formen der Inszenierung in Texten, Karten, Bildern 城市化。文本、地图和图像中的舞台形式: 9783412222727

￥595 券后￥655 0人已购买
优惠券￥ 60  领券购买 
形式化 Engineering Development Industrial

海外直订Formal Engineering for Industrial Software Development: Using the Sofl Method 工业软件开发的形式化工程:使用

￥612 券后￥632 0人已购买
优惠券￥ 20  领券购买 
自然语言形式化 Formalization Languages

海外直订Formalization of Natural Languages 自然语言的形式化

￥1,163 券后￥1,193 0人已购买
优惠券￥ 30  领券购买 
形式化 Verification Sat Solutions

海外直订Sat-Based Scalable Formal Verification Solutions 基于sat的可扩展形式化验证解决方案

￥1,642 券后￥1,672 0人已购买
优惠券￥ 30  领券购买 
形式化 VIII Description Techniques

海外直订Formal Description Techniques VIII 形式化描述技术VIII

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
形式化 Description Techniques VII

海外直订Formal Description Techniques VII 形式化描述技术VII

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
模块化导论 Introduction 形式

海外直订Introduction to Modular Forms 模块化形式导论

￥1,313 券后￥1,343 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Manufacturing Advances 进展

海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法：最新进展

￥1,994 券后￥2,024 0人已购买
优惠券￥ 30  领券购买 
形式化 Forte 分布式 2001

海外直订Formal Techniques for Networked and Distributed Systems: Forte 2001 化和分布式系统的形式化技术：Forte 2001

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥2,037 券后￥2,067 0人已购买
优惠券￥ 30  领券购买 
形式化 Specification Verification 实时

海外直订Real-Time Systems: Formal Specification and Automatic Verification 实时系统：形式化规范和自动验证

￥957 券后￥977 0人已购买
优惠券￥ 20  领券购买 
量子化泊松 Quantization Deformation

海外直订Formality Theory: From Poisson Structures to Deformation Quantization 形式理论：从泊松结构到变形量子化

￥746 券后￥766 0人已购买
优惠券￥ 20  领券购买 
形式化模块化 Specification Engineering

海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规格说明技术

￥1,520 券后￥1,550 0人已购买
优惠券￥ 30  领券购买 
自同构模块化 Automorphic 超越

海外直订Modular and Automorphic Forms & Beyond 模块化和自同构形式&超越

￥1,089 券后￥1,119 0人已购买
优惠券￥ 30  领券购买 

上一页 1 ... 4 5 6 7 8 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

甘肃模具平台　　Copyright © 2010 - 2021 http://gsmjpt.yuncomcn.com/ All Rights Reserved