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

全部>“Formal” 共2555个商品

预售 Traditions Alexander Formal
【预售】Alexander Pope and the Traditions of Formal Verse
￥643券后￥6770人已购买
优惠券￥34 领券购买 
预售 Cognitive Reasoning Approach
【预售】Cognitive Reasoning: A Formal Approach
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Construction Automation 预订 Adaptive
【预订】Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opport...
￥1,760券后￥1,8400人已购买
优惠券￥80 领券购买 
预订 Advances Methods Formal
预订 Advances in Formal Design Methods for CAD
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
预售 Methods Formal 2009
【预售】FM 2009: Formal Methods
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预订 Teamwork Approach Systems
【预订】Teamwork in Multi-Agent Systems - a Formal Approach
￥1,124券后￥1,2040人已购买
优惠券￥80 领券购买 
形式化建模 Electronic Modelling
海外直订Formal Modelling in Electronic Commerce 电子商务中的形式化建模
￥2,326券后￥2,3860人已购买
优惠券￥60 领券购买 
Information 正规 Battered Barriers
海外直订Barriers to Information: How Formal Help Systems Fail Battered Women 信息障碍:正规的帮助系统如何使受虐妇女
￥877券后￥9070人已购买
优惠券￥30 领券购买 
形式化 Introduction Verification Hardware
海外直订Introduction to Formal Hardware Verification 形式化硬件验证简介
￥584券后￥5940人已购买
优惠券￥10 领券购买 
预售 Crossroads Methods Panacea
【预售】Formal Methods at the Crossroads: From Panacea to
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Techniques Tolerant Formal
【预售】Formal Techniques in Real-Time and Fault-Tolerant
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Verification 电路 Circuits 验证
海外直订Formal Verification of Circuits 电路的形式验证
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Methods Formal
【预售】Formal Methods
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Specification International Conference Zum
海外直订Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Zum'95:Z正式规范符号：
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
9781849966894 Refinement Operating 预订
【预订】Formal Refinement for Operating System Kernels 9781849966894
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Descriptional Complexity 预订 Systems
【预订】Descriptional Complexity of Formal Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Computational 预订 Methods Systems
【预订】Formal Methods for Computational Systems Biology
￥514券后￥5480人已购买
优惠券￥34 领券购买 
形式化方法辅助设计 International Conference
海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Performance 预订 Lectures Analysis
【预订】Lectures on Formal Methods and Performance Analysis
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Applications 形式 Methods 海外
海外直订Modern Formal Methods and Applications 现代形式方法和应用
￥1,047券后￥1,0870人已购买
优惠券￥40 领券购买 
9783031081651 预订 Software Tasting
【预订】The Logic of Software. A Tasting Menu of Formal Methods 9783031081651
￥1,014券后￥1,0940人已购买
优惠券￥80 领券购买 
表征不确定性 Representations Experimental
海外直订Uncertainty and Risk: Mental, Formal, Experimental Representations 不确定性和风险：心理、形式、实验表征
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
预售 Internat Methods Formal
【预售】FM 2014: Formal Methods: 19th Internat
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
形式化辅助设计 International Conference
海外直订Formal Methods in Computer-Aided Design: First International Conference, Fmcad ' 计算机辅助设计中的形式化方
￥543券后￥5530人已购买
优惠券￥10 领券购买 
形式化方法软件工程建模 Engineering
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
建模 International 定时 Conference
海外直订Formal Modeling and Analysis of Timed Systems: 8th International Conference, FOR 定时系统的正式建模和分析：
￥609券后￥6390人已购买
优惠券￥30 领券购买 
预售 Methods Biology Interna
【预售】Formal Methods in Macro-Biology: First Interna...
￥491券后￥5250人已购买
优惠券￥34 领券购买 
复杂性 International Descriptional Complexity
海外直订Descriptional Complexity of Formal Systems: 16th International Workshop, Dcfs 20 形式系统的描述复杂性:第16
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Engineering 预订 Software Methods
【预订】Software Engineering and Formal Methods
￥569券后￥6030人已购买
优惠券￥34 领券购买 
容错形式化定时 Techniques
海外直订Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: J 定时和容错系统的形式化技术
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Workshops 预订 Methods
【预订】Formal Methods. FM 2019 International Workshops
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Techniques 预订 Critical Systems
【预订】Formal Techniques for Safety-Critical Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Orientation 预订 Object Formal
【预订】From Object-Orientation to Formal Me...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
结构化 International Structured Oriented
海外直订Structured Object-Oriented Formal Language and Method: 5th International Worksho 结构化面向对象形式语言与方
￥546券后￥5560人已购买
优惠券￥10 领券购买 
形式逻辑自动机复杂性 Complexity
海外直订Finite Automata, Formal Logic, and Circuit Complexity 有限自动机、形式逻辑与电路复杂性
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
NASA 第六届 International Symposium
海外直订NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, Usa, Ap NASA正式方法：第六届国际研
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Specification Description Techniques Verificati
海外直订Formal Description Techniques and Protocol Specification, Testing and Verificati
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
国际会议 International 语法 Conference
海外直订Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 2 正式语法:第十四届国际会议
￥543券后￥5530人已购买
优惠券￥10 领券购买 

上一页 1 ... 59 60 61 62 63 ... 64 下一页