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

全部>“ForMal” 共2640个商品

奥勒 Orientation 面向对象
海外直订From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl 从面向对象到形式方法:纪念奥勒
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Perspective Technology 预订 Formal
【预订】Agent Technology from a Formal Perspective
￥1,463券后￥1,6430人已购买
优惠券￥180 领券购买 
Techniques Modelling 预订 Analysis
【预订】Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Probabilistic 预订 Methods Systems
【预订】Formal Methods for Real-Time and Probabilistic Systems
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Combinatorics Cooperation Languages 形式
海外直订New Trends in Formal Languages: Control, Cooperation, and Combinatorics 形式语言的新趋势：控制、合作和组合学
￥612券后￥6620人已购买
优惠券￥50 领券购买 
复杂性 International Descriptional Complexity
海外直订Descriptional Complexity of Formal Systems: 16th International Workshop, Dcfs 20 形式系统的描述复杂性:第16
￥612券后￥6620人已购买
优惠券￥50 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥458券后￥5480人已购买
优惠券￥90 领券购买 
形式化 VIII Description Techniques
海外直订Formal Description Techniques VIII 形式化描述技术VIII
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
预售 Applications Industrial Methods
【预售】Industrial Applications of Formal Methods to Model,
￥606券后￥6960人已购买
优惠券￥90 领券购买 
形式化 Description Techniques VII
海外直订Formal Description Techniques VII 形式化描述技术VII
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
Descriptional Complexity 预订 Systems
【预订】Descriptional Complexity of Formal Systems
￥458券后￥5480人已购买
优惠券￥90 领券购买 
分布式 Distributed Techniques Components
海外直订Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 分布式对象、组件和系统的形
￥612券后￥6620人已购买
优惠券￥50 领券购买 
9781849965927 Operating 预订 Kernels
【预订】Formal Models of Operating System Kernels 9781849965927
￥1,463券后￥1,6430人已购买
优惠券￥180 领券购买 
语义 VHDL Semantics 形式
海外直订Formal Semantics for VHDL vhdl的形式语义
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 
International Industrial Critical Workshop
海外直订Formal Methods for Industrial Critical Systems: 18th International Workshop, Fmi 工业关键系统的正式方法：第
￥509券后￥5590人已购买
优惠券￥50 领券购买 
形式化 Forte 分布式 2001
海外直订Formal Techniques for Networked and Distributed Systems: Forte 2001 化和分布式系统的形式化技术：Forte 2001
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
Computational 预订 Methods Systems
【预订】Formal Methods for Computational Systems Biology
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Specification Description Techniques Verificati
海外直订Formal Description Techniques and Protocol Specification, Testing and Verificati
￥2,551券后￥2,6510人已购买
优惠券￥100 领券购买 
预订 Formal Method
【预订】Formal Method
￥1,743券后￥2,0430人已购买
优惠券￥300 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥915券后￥1,0950人已购买
优惠券￥180 领券购买 
Performance 预订 Lectures Analysis
【预订】Lectures on Formal Methods and Performance Analysis
￥458券后￥5480人已购买
优惠券￥90 领券购买 
预订 Methods Formal 2003
【预订】FME 2003: Formal Methods
￥915券后￥1,0950人已购买
优惠券￥180 领券购买 
预订 Modeling Analysis Systems
【预订】Formal Modeling and Analysis of Timed Systems
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Techniques Processes 预订 Computer
【预订】Formal Techniques for Computer Systems and Business Processes
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Specification 预订 Notation Formal
【预订】ZUM ’98: The Z Formal Specification Notation
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Foundations Engineering 预订 Software
【预订】Formal Foundations for Software Engineering Methods
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Practices 青少年 Learning Informal
海外直订Youth Practices in Digital Arts and New Media: Learning in Formal and Informal S 青少年在数字艺术和新媒体中
￥709券后￥7590人已购买
优惠券￥50 领券购买 
预订 Methods Formal NASA
【预订】NASA Formal Methods
￥458券后￥5480人已购买
优惠券￥90 领券购买 
自动机 Applications Properties Automata
海外直订Formal Properties of Finite Automata and Applications: Litp Spring School on The 有限自动机的形式性质及其应
￥612券后￥6620人已购买
优惠券￥50 领券购买 
International Structured 预订 Oriented
【预订】Structured Object-Oriented Formal Language and Method: 9th International Workshop, Sofl+msvl 2019, Shenzhe...
￥458券后￥5480人已购买
优惠券￥90 领券购买 
Grammar Formal 国际会议 International
海外直订Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Ge 正式语法：第19届国际会议，
￥509券后￥5590人已购买
优惠券￥50 领券购买 
Fortest Selected Methods Testing
海外直订Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected 正式方法和测试：Fortest
￥612券后￥6620人已购买
优惠券￥50 领券购买 
形式化 International Verification Conference
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：
￥612券后￥6620人已购买
优惠券￥50 领券购买 
形式化模块化 Specification Engineering
海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规范技术
￥1,888券后￥1,9880人已购买
优惠券￥100 领券购买 
International 组件 Component Symposium
海外直订Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Os 组件软件的正式方面:第八届
￥612券后￥6620人已购买
优惠券￥50 领券购买 
9783540410553 Techniques 预订 Tolerant
【预订】Formal Techniques in Real-Time and Fault-Tolerant Systems 9783540410553
￥458券后￥5480人已购买
优惠券￥90 领券购买 
9783642084775 Introduction Verification 预订
【预订】Introduction to Formal Hardware Verification 9783642084775
￥458券后￥5480人已购买
优惠券￥90 领券购买 
形式化方法软件工程 Engineering Software
海外直订Software Engineering and Formal Methods 软件工程与形式化方法
￥612券后￥6620人已购买
优惠券￥50 领券购买 
9781441954206 Verification 预订 Advanced
【预订】Advanced Formal Verification 9781441954206
￥915券后￥1,0950人已购买
优惠券￥180 领券购买 
Formal 软件工程 International 第四届
海外直订Formal Methods and Software Engineering: 4th International Conference on Formal 形式方法与软件工程:第四届
￥1,225券后￥1,3250人已购买
优惠券￥100 领券购买 

上一页 1 ... 61 62 63 64 65 ... 66 下一页