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

全部>“ForMal” 共2563个商品

预售 Simulation Synthesis Formal
【预售】VHDL for Simulation, Synthesis and Formal Proofs of
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
形式美美学 9781032379258 Aesthetics
预订 The Aesthetics of Image and Cultural Form: The Formal Method 形象美学与文化形式美学：正式方法: 9781032379258
￥578券后￥6120人已购买
优惠券￥34 领券购买 
Measurement 预订 Aspects Formal
【预订】Formal Aspects of Measurement: Proce...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Introduction Mathematics Discrete
【预售】An Introduction to Discrete Mathematics, Formal
￥708券后￥7420人已购买
优惠券￥34 领券购买 
预售 Components Methods Objects
【预售】Formal Methods for Components and Objects
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Development Network Centric
【预售】Formal Development of a Network-Centric Rtos:
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
预售 Simulation Industrial Symbolic
【预售】Symbolic Simulation Methods for Industrial Formal
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Theoretic Automata Aspects
【预售】Automata-Theoretic Aspects of Formal Power Series
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 combinatorics algebraic Formal
【预售】Formal power series and algebraic combinatorics
￥700券后￥7340人已购买
优惠券￥34 领券购买 
预售 Distributed Methods Formal
【预售】Formal Methods for Open Object-Based Distributed
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
预售 Techniques Optimizing Semantics
【预售】Formal Semantics and Proof Techniques for Optimizing
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Modeling Analysis Systems
【预售】Formal Modeling and Analysis of Timed Systems:...
￥491券后￥5250人已购买
优惠券￥34 领券购买 
预售 Specification Engineering Techniques
【预售】Formal Specification Techniques for Engineering
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Introduction Practical 预订 Temporal
【预订】An Introduction To Practical Formal Methods Using Temporal Logic
￥1,725券后￥1,8050人已购买
优惠券￥80 领券购买 
预售 Distributed Techniques Systems
【预售】Formal Techniques for Distributed Systems: Joint
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预订 Methods Formal 2006
【预订】FM 2006: Formal Methods
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Programming Practical Formal
【预售】The Way of Z: Practical Programming with Formal
￥746券后￥7800人已购买
优惠券￥34 领券购买 
预售 Synchronous Equivalence Methods
【预售】Synchronous Equivalence: Formal Methods for Embed
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Verification 预订 Hardware Formal
【预订】Formal Hardware Verification
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Approaches Software Testing
【预售】Formal Approaches to Software Testing: 4th
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Intelligence Artificial Methods
【预售】Formal Methods in Artificial Intelligence
￥508券后￥5420人已购买
优惠券￥34 领券购买 
Distributed 预订 Methods Systems
【预订】Formal Methods for Open Object-Based Distributed Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Applications Languages 预订 Formal
【预订】Formal Languages and Applications
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
Verification Mathematical 预订 Floating
【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
￥898券后￥9320人已购买
优惠券￥34 领券购买 
预售 Practical Autonomic Computing
【预售】Formal and Practical Aspects of Autonomic Computing
￥1,589券后￥1,6690人已购买
优惠券￥80 领券购买 
预订 Formal Models Agents
【预订】Formal Models of Agents
￥514券后￥5480人已购买
优惠券￥34 领券购买 
Languages 预订 Applica Formal
【预订】Formal Models, Languages and Applica...
￥1,617券后￥1,6970人已购买
优惠券￥80 领券购买 
预售 Manufacturing Methods Systems
【预售】Formal Methods in Manufacturing Systems: Recent A
￥1,589券后￥1,6690人已购买
优惠券￥80 领券购买 
预售 Techniques Semantics Optimiz
【预售】Formal Semantics and Proof Techniques for Optimiz
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Verification Advanced Formal
【预售】Advanced Formal Verification
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预订 Methods Formal NASA
【预订】NASA Formal Methods
￥514券后￥5480人已购买
优惠券￥34 领券购买 
离散导论 Specification Introduction
海外直订An Introduction to Discrete Mathematics, Formal System Specification, and Z 离散数学导论、形式系统规范和Z
￥3,112券后￥3,1720人已购买
优惠券￥60 领券购买 
预售 Synchronous Equivalence Embedded
【预售】Synchronous Equivalence: Formal Methods for Embedded
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Verification Techniques Scalable
【预售】Scalable Techniques for Formal Verification
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Approaches 预订 Systems Formal
【预订】Formal Approaches to Agent-Based Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
医药图书分布式 Distributed 对象
海外直订医药图书Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fif 开放对象分布式系统
￥1,285券后￥1,3250人已购买
优惠券￥40 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Manufacturing 预订 Methods Formal
【预订】Formal Methods in Manufacturing
￥2,417券后￥2,5770人已购买
优惠券￥160 领券购买 
语义 Java 语法 Semantics
海外直订Formal Syntax and Semantics of Java Java的形式语法和语义
￥632券后￥6620人已购买
优惠券￥30 领券购买 
预订 Analysis Concept Formal
【预订】Formal Concept Analysis
￥514券后￥5480人已购买
优惠券￥34 领券购买 

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