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

      Integrated预订MethodsFormal

      【预订】Integrated Formal Methods

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Techniques for Networked and Distributed

      预售DistributedTechniquesNetworked

      【预售】Formal Techniques for Networked and Distributed

      ¥1,890券后¥2,1900人已购买
      优惠券¥300 领券购买 
    • 【预订】Formal Grammar

      预订GrammarFormal

      【预订】Formal Grammar

      ¥435券后¥5250人已购买
      优惠券¥90 领券购买 
    • 【预售】Studies and Exercises in Formal Logic

      预售ExercisesStudiesFormal

      【预售】Studies and Exercises in Formal Logic

      ¥688券后¥7780人已购买
      优惠券¥90 领券购买 
    • 【预订】Formal Methods: Foundations and Appl...

      Foundations预订MethodsFormal

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

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods and Software Engineering: 10th

      预售EngineeringSoftwareMethods

      【预售】Formal Methods and Software Engineering: 10th

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】Formal Verification of Simulink/Stat...

      Verification预订SimulinkFormal

      【预订】Formal Verification of Simulink/Stat...

      ¥1,079券后¥1,2590人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal System Verification: State-of the-Art and Future Trends

      预售VerificationFormalSystem

      【预售】Formal System Verification: State-of the-Art and Future Trends

      ¥1,134券后¥1,3140人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal Techniques in Real-Time and Fault-Tolerant

      预售TechniquesTolerantFormal

      【预售】Formal Techniques in Real-Time and Fault-Tolerant

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】Leveraging Applications of Formal Me...

      ApplicationsLeveraging预订Formal

      【预订】Leveraging Applications of Formal Me...

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 【预售】Languages: From Formal to Natural: Essays Dedicated

      预售LanguagesDedicatedNatural

      【预售】Languages: From Formal to Natural: Essays Dedicated

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Larch: Languages and Tools for Formal Specification

      预售SpecificationLanguagesFormal

      【预售】Larch: Languages and Tools for Formal Specification

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】Theory and Practice of Formal Methods

      预订PracticeMethodsTheory

      【预订】Theory and Practice of Formal Methods

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Nonmonotonic and Related Logics

      预售NonmonotonicMethodsRelated

      【预售】Formal Methods for Nonmonotonic and Related Logics

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 【预订】Essays on the Formal Aspects of Electromagnetic Theory

      Electromagnetic预订AspectsEssays

      【预订】Essays on the Formal Aspects of Electromagnetic Theory

      ¥2,976券后¥3,2760人已购买
      优惠券¥300 领券购买 
    • 【预售】Integrated Formal Methods: 9th International

      预售InternationalIntegratedMethods

      【预售】Integrated Formal Methods: 9th International

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Agent Technology from a Formal Perspective

      预售PerspectiveTechnologyFormal

      【预售】Agent Technology from a Formal Perspective

      ¥1,463券后¥1,6430人已购买
      优惠券¥180 领券购买 
    • 【预订】Semigroups, Formal Languages and Groups

      SemigroupsLanguages预订Formal

      【预订】Semigroups, Formal Languages and Groups

      ¥1,890券后¥2,1900人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Concept Analysis: 7th International

      预售InternationalAnalysisConcept

      【预售】Formal Concept Analysis: 7th International

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】Formal Aspects Of Chinese Grammar

      预订AspectsChineseGrammar

      【预订】Formal Aspects Of Chinese Grammar

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

      预售IntroductionPhilosophyFormal

      【预售】Introduction to Formal Philosophy

      ¥812券后¥9320人已购买
      优惠券¥120 领券购买 
    • 【预售】Handbook of Formal Languages: Volume 2. Linear

      预售LanguagesHandbookFormal

      【预售】Handbook of Formal Languages: Volume 2. Linear

      ¥2,219券后¥2,5190人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Methods for Model-Driven Engineering: 12th

      预售EngineeringMethodsFormal

      【预售】Formal Methods for Model-Driven Engineering: 12th

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Industrial Critical Systems: 14th

      预售IndustrialCriticalMethods

      【预售】Formal Methods for Industrial Critical Systems: 14th

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】On Dwork’s $p$-Adic Formal Congruences Theorem and Hypergeometric Mirror Maps

      预售HypergeometricCongruencesTheorem

      【预售】On Dwork’s $p$-Adic Formal Congruences Theorem and Hypergeometric Mirror Maps

      ¥668券后¥7580人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods and Empirical Practices:

      预售EmpiricalPracticesMethods

      【预售】Formal Methods and Empirical Practices:

      ¥252券后¥2820人已购买
      优惠券¥30 领券购买 
    • 【预订】Formal Modeling and Analysis of Time...

      预订ModelingAnalysisFormal

      【预订】Formal Modeling and Analysis of Time...

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Phonology

      预售PhonologyFormal

      【预售】Formal Phonology

      ¥1,402券后¥1,5820人已购买
      优惠券¥180 领券购买 
    • 【预订】Formal Methods for the Quantitative ...

      Quantitative预订MethodsFormal

      【预订】Formal Methods for the Quantitative ...

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Cognitive Reasoning: A Formal Approach

      预售CognitiveReasoningApproach

      【预售】Cognitive Reasoning: A Formal Approach

      ¥1,463券后¥1,6430人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal Methods for Industrial Critical Systems

      预售IndustrialCriticalMethods

      【预售】Formal Methods for Industrial Critical Systems

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Concept Analysis: 4th International

      预售InternationalAnalysisConcept

      【预售】Formal Concept Analysis: 4th International

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Groups and Applications

      预售ApplicationsFormalGroups

      【预售】Formal Groups and Applications

      ¥689券后¥7790人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods: Foundations and Applications: 15th

      预售ApplicationsFoundationsMethods

      【预售】Formal Methods: Foundations and Applications: 15th

      ¥414券后¥5040人已购买
      优惠券¥90 领券购买 
    • 【预售】FM 2012: Formal Methods: 18th International

      预售InternationalMethodsFormal

      【预售】FM 2012: Formal Methods: 18th International

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Industrial Critic...

      预售IndustrialMethodsFormal

      【预售】Formal Methods for Industrial Critic...

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Finite Automata, Formal Logic, and Circuit

      预售AutomataCircuitFinite

      【预售】Finite Automata, Formal Logic, and Circuit

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 预订 【】Formal Methods for Discrete-Time Dyn...

      预订DiscreteMethodsFormal

      预订 【】Formal Methods for Discrete-Time Dyn...

      ¥1,774券后¥1,9540人已购买
      优惠券¥180 领券购买 
    • 【预售】Semigroups, Formal Languages and Groups

      预售SemigroupsLanguagesFormal

      【预售】Semigroups, Formal Languages and Groups

      ¥1,890券后¥2,1900人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Verification of Simulink/Stat...

      预售VerificationSimulinkFormal

      【预售】Formal Verification of Simulink/Stat...

      ¥1,079券后¥1,2590人已购买
      优惠券¥180 领券购买 
    上一页 1 ...  38   39  40  41   42  ... 64 下一页