ForMal什么牌子好,ForMal哪里有卖? - 第49页 - 宝妈美购物网

全部>“ForMal” 共2585个商品

NASA International 第三届 Symposium
海外直订NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, NASA正式方法:第三届国际研
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Industrial 预订 Formal Method
预订 Industrial Used of Formal Method
￥1,883券后￥2,0430人已购买
优惠券￥160 领券购买 
Applications Foundations 预订 Methods
预订 Formal Methods: Foundations and Applications
￥403券后￥4370人已购买
优惠券￥34 领券购买 
形式化方法 Optimization Behavioral Synthesis
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
9783030871802 Verification 预订 Floating
[预订]Formal Verification of Floating-Point Hardware Design 9783030871802
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Grzegorz 献给 Computing Dedicated
海外直订Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg 形式与自然计算:献给Grzegorz Roz
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Formal 软件工程 International Engineering
海外直订Formal Methods and Software Engineering: 9th International Conference on Formal 正式方法与软件工程:第9届正
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Engineering Collocated Workshops 预订
[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
￥1,125券后￥1,2050人已购买
优惠券￥80 领券购买 
抽象 Integrating 认知 Cognition
海外直订Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal M 空间认知II:整合抽象理论、
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Formal Applications Foundations Brazilian
海外直订Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 202 Formal Met
￥698券后￥7280人已购买
优惠券￥30 领券购买 
自动机 Languages Automata 形式
海外直订Automata Theory and Formal Languages 自动机理论与形式语言
￥672券后￥7020人已购买
优惠券￥30 领券购买 
Introduction Analysis 形式海外
海外直订Formal Analysis: An Introduction 形式分析
￥2,474券后￥2,5340人已购买
优惠券￥60 领券购买 
Applications Verification Leveraging Validation
预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico
￥776券后￥8100人已购买
优惠券￥34 领券购买 
2024 International Conference Component
预订 Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Software Engineering Collocated Workshops
海外直订Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2 Software E
￥479券后￥4890人已购买
优惠券￥10 领券购买 
2019 International Workshops Portugal
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 正式的方法。FM 2019国际
￥632券后￥6620人已购买
优惠券￥30 领券购买 
语用学语义学自然语言 Pragmatics
海外直订Formal Semantics and Pragmatics for Natural Language Querying 自然语言查询的形式语义学和语用学
￥689券后￥7190人已购买
优惠券￥30 领券购买 
国际会第五届 International Conference
海外直订Formal Concept Analysis: 5th International Conference, Icfca 2007, Clermont-Ferr 正式概念分析：第五届国际会
￥628券后￥6580人已购买
优惠券￥30 领券购买 
Structured 预订 Oriented Language
预订 Structured Object-Oriented Formal Language and Method
￥514券后￥5480人已购买
优惠券￥34 领券购买 
分布式 Distributed Techniques Components
海外直订Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 分布式对象、组件和系统的形
￥772券后￥8020人已购买
优惠券￥30 领券购买 
International Industrial Fme Advances
海外直订Fme '96: Industrial Benefit and Advances in Formal Methods: Third International Fme '96:工业
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
Architecture Methods Formal International
预订 Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6
￥2,249券后￥2,4090人已购买
优惠券￥160 领券购买 
9798867405045 Entertaining 预订 Cookbook
预订 Entertaining with Style Cookbook: Whether Formal or Casual, Create Company Food that Sizzles: 9798867405045
￥150券后￥1550人已购买
优惠券￥5 领券购买 
分布式 Distributed Techniques Networked
海外直订Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip 和分布式系统的正式技术
￥632券后￥6620人已购买
优惠券￥30 领券购买 
Java Development 软件开发 VDM
海外直订Formal Software Development: From VDM to Java 正式软件开发：从VDM到Java
￥1,558券后￥1,6180人已购买
优惠券￥60 领券购买 
等价 Equivalence 调试 Debugging
海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试
￥2,314券后￥2,3740人已购买
优惠券￥60 领券购买 
验证 Applications Verification Leveraging
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Adaptati 利用形式方法、验证和验证的
￥897券后￥9270人已购买
优惠券￥30 领券购买 
乘数形式化 Verification Structurally
海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证
￥1,030券后￥1,0700人已购买
优惠券￥40 领券购买 
形式化软件工程 Foundations Engineering
海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础
￥632券后￥6620人已购买
优惠券￥30 领券购买 
容错 International Techniques 实时
海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Sym 实时和容错系统中的形式技术
￥632券后￥6620人已购买
优惠券￥30 领券购买 
9788862428712 manipulations Dissecting 预订
预订 Dissecting Breuer : the Whitney’s formal manipulations: 9788862428712
￥247券后￥2630人已购买
优惠券￥16 领券购买 
9780323917841 Languages 预订 Automata
[预订]Automata Theory and Formal Languages 9780323917841
￥1,732券后￥1,8120人已购买
优惠券￥80 领券购买 
9783031436772 预订 Informal Methods
[预订]Formal Methods for an Informal World 9783031436772
￥514券后￥5480人已购买
优惠券￥34 领券购买 
辅助设计 International Conference Computer
海外直订Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 200 计算机辅助设计的正式方法:
￥632券后￥6620人已购买
优惠券￥30 领券购买 
言表用语 Languages Handbook
海外直订Handbook of Formal Languages: Volume 3. Beyond Words 《形式语言手册》第3卷。无法用语言表达
￥933券后￥9630人已购买
优惠券￥30 领券购买 
中商原版现货形式
现货形式方法 Formal Method Jean【中商原版】
￥960券后￥1,0000人已购买
优惠券￥40 领券购买 
Specification 规范形式化 Rpc
海外直订Formal Systems Specification: The Rpc-Memory Specification Case Study 形式化系统规范：Rpc内存规范案例研究
￥632券后￥6620人已购买
优惠券￥30 领券购买 
阿尔及利亚农业推广非正式 agricultural
预订 Formal and informal agricultural extension and advice in Algeria 阿尔及利亚正式和非正式农业推广和咨询: 978620748498
￥541券后￥5750人已购买
优惠券￥34 领券购买 
Techniques 预订 Critical Systems
预订 Formal Techniques for Safety-Critical Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
科隆教学方法研讨 Symposium
海外直订Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, Novem 正式教学方法：科隆/Fme研讨
￥632券后￥6620人已购买
优惠券￥30 领券购买 

上一页 1 ... 47 48 49 50 51 ... 65 下一页