• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Formal” 共2448个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Formal Methods for Embedded Distributed Systems: How

      预售DistributedEmbeddedMethods

      【预售】Formal Methods for Embedded Distributed Systems: How

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预订】Formal Methods and Testing

      预订MethodsTestingFormal

      【预订】Formal Methods and Testing

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】New Trends in Formal Languages

      Languages预订TrendsFormal

      【预订】New Trends in Formal Languages

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Methods Applied To Industrial Complex Systems

      Industrial预订MethodsApplied

      【预订】Formal Methods Applied To Industrial Complex Systems

      ¥2,406券后¥2,5660人已购买
      优惠券¥160 领券购买 
    • [预订]Formal Methods for Software Engineering: Languages, Methods, Application Domains 9783030388027

      Methods9783030388027EngineeringApplication

      [预订]Formal Methods for Software Engineering: Languages, Methods, Application Domains 9783030388027

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Methods in Computer-Aided Design

      预订ComputerMethodsFormal

      【预订】Formal Methods in Computer-Aided Design

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Integrated Formal Methods

      Integrated预订MethodsFormal

      【预订】Integrated Formal Methods

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Techniques for Networked and Distributed Systems - FORTE 2003

      DistributedTechniquesNetworked预订

      【预订】Formal Techniques for Networked and Distributed Systems - FORTE 2003

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Methods for Open Object-Based Distributed Systems

      Distributed预订MethodsSystems

      【预订】Formal Methods for Open Object-Based Distributed Systems

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Methods: Foundations and Appl...

      Foundations预订MethodsFormal

      【预订】Formal Methods: Foundations and Appl...

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 海外直订医药图书Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fif 基于开放对象的分布

      医药图书Distributed分布对象

      海外直订医药图书Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fif 基于开放对象的分布

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 分布式对象、组件和系统的形

      分布式DistributedTechniquesComponents

      海外直订Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 分布式对象、组件和系统的形

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法:第13

      形式化方法FormalInternationalDynamical

      海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法:第13

      ¥481券后¥4910人已购买
      优惠券¥10 领券购买 
    • 形式语言 自动装置与数字化系统 第1卷 Formal Languages, Automata And Numeration Systems 1 英文原版 Michel Rigo【中商?

      中商英文数字化原版

      形式语言 自动装置与数字化系统 第1卷 Formal Languages, Automata And Numeration Systems 1 英文原版 Michel Rigo【中商?

      ¥1,390券后¥1,4300人已购买
      优惠券¥40 领券购买 
    • 【预订】Formal Methods: Applications and Technology

      ApplicationsTechnology预订Methods

      【预订】Formal Methods: Applications and Technology

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Formal Development of a Network-Centric Rtos: Software Engineering for Reliable  以为中心的实时操作系统

      DevelopmentEngineering实时Software

      海外直订Formal Development of a Network-Centric Rtos: Software Engineering for Reliable 以为中心的实时操作系统

      ¥1,306券后¥1,3460人已购买
      优惠券¥40 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 4th Int 利用正式方法、验证和确认的

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification, and Validation: 4th Int 利用正式方法、验证和确认的

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四

      形式化方法软件测试InternationalApproaches

      海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theory and Applications of Formal Argumentation: Third International Workshop, T 形式论证的理论与应用:第三

      InternationalArgumentation论证Applications

      海外直订Theory and Applications of Formal Argumentation: Third International Workshop, T 形式论证的理论与应用:第三

      ¥480券后¥4900人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 分布式对象、组件和系统的正

      分布式DistributedTechniquesComponents

      海外直订Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 分布式对象、组件和系统的正

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Express 有限自动机及其代数和语法:

      代数和自动机语法Automata

      海外直订Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Express 有限自动机及其代数和语法:

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 【预订】Formal Methods for Components and Objects

      Components预订MethodsObjects

      【预订】Formal Methods for Components and Objects

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Methods for Trustworthy Compu...

      Trustworthy预订MethodsFormal

      【预订】Formal Methods for Trustworthy Compu...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Formal Description Techniques and Protocol Specification, Testing and Verificati

      SpecificationDescriptionTechniquesVerificati

      海外直订Formal Description Techniques and Protocol Specification, Testing and Verificati

      ¥2,007券后¥2,0670人已购买
      优惠券¥60 领券购买 
    • 海外直订Formal Demography 正式人口统计学

      统计学Demography人口海外

      海外直订Formal Demography 正式人口统计学

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Methods: Foundations and Applications: 17th Brazilian Symposium, Sbmf 201 正式方法:基础和应用:第十七

      ApplicationsFoundationsBrazilianSymposium

      海外直订Formal Methods: Foundations and Applications: 17th Brazilian Symposium, Sbmf 201 正式方法:基础和应用:第十七

      ¥501券后¥5110人已购买
      优惠券¥10 领券购买 
    • 【预售】A Roadmap for Formal Property Verification

      预售VerificationPropertyRoadmap

      【预售】A Roadmap for Formal Property Verification

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Formal and Natural Computing: Essays Dedicated to

      预售ComputingDedicatedNatural

      【预售】Formal and Natural Computing: Essays Dedicated to

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • Formal Knot Theory  形式结理论 Dover数学丛书

      丛书形式理论数学

      Formal Knot Theory 形式结理论 Dover数学丛书

      ¥91券后¥1010人已购买
      优惠券¥10 领券购买 
    • 【预订】Formal Aspects of Component Software 9783030906351

      9783030906351Component预订Software

      【预订】Formal Aspects of Component Software 9783030906351

      ¥458券后¥4920人已购买
      优惠券¥34 领券购买 
    • 海外直订New Trends in Formal Languages: Control, Cooperation, and Combinatorics 形式语言的新趋势:控制、合作和组合学

      CombinatoricsCooperationLanguages形式

      海外直订New Trends in Formal Languages: Control, Cooperation, and Combinatorics 形式语言的新趋势:控制、合作和组合学

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Semantics for VHDL vhdl的形式语义

      语义VHDLSemantics形式

      海外直订Formal Semantics for VHDL vhdl的形式语义

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 【预订】FME 2003: Formal Methods

      预订MethodsFormal2003

      【预订】FME 2003: Formal Methods

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】A Formal Approach to Hardware Design

      预售ApproachHardwareFormal

      【预售】A Formal Approach to Hardware Design

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预订】Formal Modeling and Analysis of Timed Systems

      预订ModelingAnalysisSystems

      【预订】Formal Modeling and Analysis of Timed Systems

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法:第2卷

      形式化方法分布式Distributed基于

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

      ¥2,007券后¥2,0670人已购买
      优惠券¥60 领券购买 
    • 英文原版 形式结理论  Formal Knot Theory Dover数学知识应用丛书 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 形式结理论 Formal Knot Theory Dover数学知识应用丛书 英文版 进口英语原版书籍

      ¥108.7券后¥118.70人已购买
      优惠券¥10 领券购买 
    • 【预订】Formal Techniques for Computer Systems and Business Processes

      TechniquesProcesses预订Computer

      【预订】Formal Techniques for Computer Systems and Business Processes

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】ZUM ’98: The Z Formal Specification Notation

      Specification预订NotationFormal

      【预订】ZUM ’98: The Z Formal Specification Notation

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Formal Foundations for Software Engineering Methods

      FoundationsEngineering预订Software

      【预订】Formal Foundations for Software Engineering Methods

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    上一页 1 ...  52   53  54  55   56  ... 62 下一页