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

      预订MatricesFormal

      【预订】Formal Matrices

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Matrices (Softcover Reprint o...

      预售SoftcoverMatricesReprint

      【预售】Formal Matrices (Softcover Reprint o...

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Methods for Nonmonotonic and Related Logics

      预售NonmonotonicMethodsRelated

      【预售】Formal Methods for Nonmonotonic and Related Logics

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预售】Introduction to Formal Philosophy

      预售IntroductionPhilosophyFormal

      【预售】Introduction to Formal Philosophy

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Languages and Compilation

      预售CompilationLanguagesFormal

      【预售】Formal Languages and Compilation

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

      VerificationApplicationsLeveragingValidation

      【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      VerificationMathematical预订Floating

      【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预订】NASA Formal Methods

      预订MethodsFormalNASA

      【预订】NASA Formal Methods

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

      9783031198489ApplicationsVerificationLeveraging

      【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031198489

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 海外直订Proof and Disproof in Formal Logic 形式逻辑的证明与反证明

      形式逻辑证明Disproof海外

      海外直订Proof and Disproof in Formal Logic 形式逻辑的证明与反证明

      ¥889券后¥9390人已购买
      优惠券¥50 领券购买 
    • 【预订】Logic as a Tool - a Guide to Formal ...

      预订FormalLogicGuide

      【预订】Logic as a Tool - a Guide to Formal ...

      ¥820券后¥9400人已购买
      优惠券¥120 领券购买 
    • 预订Concise Guide to Formal Methods

      预订ConciseMethodsFormal

      预订Concise Guide to Formal Methods

      ¥900券后¥9400人已购买
      优惠券¥40 领券购买 
    • 【预订】Formal Aspects Of Chinese Grammar

      预订AspectsChineseGrammar

      【预订】Formal Aspects Of Chinese Grammar

      ¥827券后¥9470人已购买
      优惠券¥120 领券购买 
    • 预订 Formal Methods in Computer Science

      预订ComputerMethodsScience

      预订 Formal Methods in Computer Science

      ¥829券后¥9490人已购买
      优惠券¥120 领券购买 
    • [预订]Formal Object Oriented Specification Using Object-Z 9780333801239

      ObjectSpecification9780333801239预订

      [预订]Formal Object Oriented Specification Using Object-Z 9780333801239

      ¥834券后¥9540人已购买
      优惠券¥120 领券购买 
    • 【预售】The Meetings Handbook: Formal Rules and Informal

      预售MeetingsHandbookInformal

      【预售】The Meetings Handbook: Formal Rules and Informal

      ¥838券后¥9580人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Languages and Compilation

      预售CompilationLanguagesFormal

      【预售】Formal Languages and Compilation

      ¥847券后¥9670人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Languages and Compilation

      预售CompilationLanguagesFormal

      【预售】Formal Languages and Compilation

      ¥850券后¥9700人已购买
      优惠券¥120 领券购买 
    • 预订 Signs and Structures: Formal Approaches to Sign Language Syntax 手势与结构: 用形式方法研究手语句法: 9789027242594

      句法方法研究手语手势

      预订 Signs and Structures: Formal Approaches to Sign Language Syntax 手势与结构: 用形式方法研究手语句法: 9789027242594

      ¥854券后¥9740人已购买
      优惠券¥120 领券购买 
    • 预订 Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments:

      EnvironmentsApplicationsLibrariansEducators

      预订 Research Methods for Librarians and Educators: Practical Applications in Formal and Informal Learning Environments:

      ¥855券后¥9750人已购买
      优惠券¥120 领券购买 
    • 预售【2025新书】FORMAL METHODS FOR MULTI[9780262049719]

      预售9780262049719新书METHODS

      预售【2025新书】FORMAL METHODS FOR MULTI[9780262049719]

      ¥935券后¥9750人已购买
      优惠券¥40 领券购买 
    • 预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入: 97836585

      多项式形式化时序Verification

      预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入: 97836585

      ¥858券后¥9780人已购买
      优惠券¥120 领券购买 
    • 海外直订Formal Concept Analysis of Social Networks 社会的形式概念分析

      AnalysisNetworks形式概念

      海外直订Formal Concept Analysis of Social Networks 社会的形式概念分析

      ¥932券后¥9820人已购买
      优惠券¥50 领券购买 
    • 【预售】Formal and Transcendental Logic

      预售TranscendentalFormalLogic

      【预售】Formal and Transcendental Logic

      ¥865券后¥9850人已购买
      优惠券¥120 领券购买 
    • 【预售】Formal Methods

      预售MethodsFormal

      【预售】Formal Methods

      ¥865券后¥9850人已购买
      优惠券¥120 领券购买 
    • 海外直订A Second Course in Formal Languages and Automata Theory 形式语言和自动机理论的第二门课程

      自动机二门言和Languages

      海外直订A Second Course in Formal Languages and Automata Theory 形式语言和自动机理论的第二门课程

      ¥935券后¥9850人已购买
      优惠券¥50 领券购买 
    • [预订]Formal Verification of Structurally Complex Multipliers

      VerificationStructurallyMultipliers预订

      [预订]Formal Verification of Structurally Complex Multipliers

      ¥865券后¥9850人已购买
      优惠券¥120 领券购买 
    • 海外直订NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, M NASA正式方法:第

      NASAInternationalSymposiumMethods

      海外直订NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, M NASA正式方法:第

      ¥938券后¥9880人已购买
      优惠券¥50 领券购买 
    • 海外直订Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6- 正式方法:第25届国际研讨会

      International研讨会SymposiumMethods

      海外直订Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6- 正式方法:第25届国际研讨会

      ¥939券后¥9890人已购买
      优惠券¥50 领券购买 
    • 海外直订Compositionality in Formal Semantics 形式语义学中的组合性

      语义学CompositionalitySemantics形式

      海外直订Compositionality in Formal Semantics 形式语义学中的组合性

      ¥942券后¥9920人已购买
      优惠券¥50 领券购买 
    • 海外直订Formal and Informal Social Safety Nets: Growth and Development in the Modern Eco 正式和非正式社会安全网:现

      安全网非正式DevelopmentInformal

      海外直订Formal and Informal Social Safety Nets: Growth and Development in the Modern Eco 正式和非正式社会安全网:现

      ¥943券后¥9930人已购买
      优惠券¥50 领券购买 
    • 海外直订Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg Formal Tec

      FormalDistributedTechniquesComponents

      海外直订Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg Formal Tec

      ¥946券后¥9960人已购买
      优惠券¥50 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的

      验证ApplicationsVerificationLeveraging

      海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的

      ¥947券后¥9970人已购买
      优惠券¥50 领券购买 
    • 现货 形式方法 Formal Method Jean【中商原版】

      中商原版现货形式

      现货 形式方法 Formal Method Jean【中商原版】

      ¥900券后¥1,0000人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

      形式化方法ComputerMethodsScience

      海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

      ¥903券后¥1,0030人已购买
      优惠券¥100 领券购买 
    • 海外直订Teaching Adult Immigrants with Limited Formal Ed...

      ImmigrantsTeachingLimited海外

      海外直订Teaching Adult Immigrants with Limited Formal Ed...

      ¥905券后¥1,0050人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Development of a Network-Centric Rtos: Software Engineering for Reliable  中心Rtos的正式开发:可

      RtosDevelopmentEngineeringSoftware

      海外直订Formal Development of a Network-Centric Rtos: Software Engineering for Reliable 中心Rtos的正式开发:可

      ¥911券后¥1,0110人已购买
      优惠券¥100 领券购买 
    • 【预售】Formal Methods in Manufacturing

      预售ManufacturingMethodsFormal

      【预售】Formal Methods in Manufacturing

      ¥837券后¥1,0170人已购买
      优惠券¥180 领券购买 
    • 海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

      形式化浮点硬件设计Verification

      海外直订Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 浮点硬件设计的形式化验证:一

      ¥923券后¥1,0230人已购买
      优惠券¥100 领券购买 
    • 海外直订Elementary Formal Logic: A Programmed Course 《基本形式逻辑:程序课程》

      形式逻辑ElementaryProgrammed海外

      海外直订Elementary Formal Logic: A Programmed Course 《基本形式逻辑:程序课程》

      ¥924券后¥1,0240人已购买
      优惠券¥100 领券购买 
    上一页 1 ...  44   45  46  47   48  ... 64 下一页