• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Formal” 共2555个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 分布式对象、组件和系统的形

      分布式DistributedTechniquesComponents

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

      ¥681券后¥7110人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法

      形式化方法系统工程EngineeringMethods

      海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法

      ¥578券后¥5880人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 202 Formal Met

      FormalApplicationsFoundationsBrazilian

      海外直订Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 202 Formal Met

      ¥572券后¥5820人已购买
      优惠券¥10 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Adaptati 利用形式方法、验证和验证的

      验证ApplicationsVerificationLeveraging

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

      ¥709券后¥7390人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证

      乘数形式化VerificationStructurally

      海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础

      形式化软件工程FoundationsEngineering

      海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Sym 实时和容错系统中的形式技术

      容错InternationalTechniques实时

      海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Sym 实时和容错系统中的形式技术

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International  实时和容错系统中的正式技术:第

      容错InternationalTechniques实时

      海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International 实时和容错系统中的正式技术:第

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Fme 2001: Formal Methods for Increasing Software Productivity: International Sym Fme 2001:提高软件生产

      2001InternationalProductivityIncreasing

      海外直订Fme 2001: Formal Methods for Increasing Software Productivity: International Sym Fme 2001:提高软件生产

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Automata Theory and Formal Languages 自动机理论与形式语言

      自动机LanguagesAutomata形式

      海外直订Automata Theory and Formal Languages 自动机理论与形式语言

      ¥595券后¥6250人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Analysis: An Introduction 形式分析

      IntroductionAnalysis形式海外

      海外直订Formal Analysis: An Introduction 形式分析

      ¥1,997券后¥2,0570人已购买
      优惠券¥60 领券购买 
    • 预订 Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORT

      InternationalDistributedTechniquesComponents

      预订 Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORT

      ¥601券后¥6350人已购买
      优惠券¥34 领券购买 
    • 预订 Past Participle Agreement: A study on the grammaticalization of formal features 过去分词协议:形式特征的语法化研究:

      分词grammaticalizati语法Participle

      预订 Past Participle Agreement: A study on the grammaticalization of formal features 过去分词协议:形式特征的语法化研究:

      ¥1,124券后¥1,2040人已购买
      优惠券¥80 领券购买 
    • 预订 On the Formal Syntax of the Wet Germania: Papers from the Third G Roningen Grammar Talks, Groningen, January 1981:

      Groningen预订GermaniaRoningen

      预订 On the Formal Syntax of the Wet Germania: Papers from the Third G Roningen Grammar Talks, Groningen, January 1981:

      ¥1,198券后¥1,2780人已购买
      优惠券¥80 领券购买 
    • 预订 Issues in Formal German(ic) Typology.: 9789027227669

      9789027227669预订TypologyIssues

      预订 Issues in Formal German(ic) Typology.: 9789027227669

      ¥1,502券后¥1,5820人已购买
      优惠券¥80 领券购买 
    • 海外直订Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip  和分布式系统的正式技术

      分布式DistributedTechniquesNetworked

      海外直订Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip 和分布式系统的正式技术

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订The Evolution of Chemical Knowledge: A Formal Setting for Its Analysis 化学知识的演变:化学知识分析的形式背

      化学知识演变Evolution

      海外直订The Evolution of Chemical Knowledge: A Formal Setting for Its Analysis 化学知识的演变:化学知识分析的形式背

      ¥898券后¥9280人已购买
      优惠券¥30 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation. Verifica 利用形式方法、验证和验证的

      验证ApplicationsVerificationLeveraging

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

      ¥817券后¥8470人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal Methods: Foundations and Applications: 25th Brazilian Symposium, Sbmf 202

      ApplicationsFoundationsBrazilianSymposium

      海外直订Formal Methods: Foundations and Applications: 25th Brazilian Symposium, Sbmf 202

      ¥585券后¥6150人已购买
      优惠券¥30 领券购买 
    • 海外直订Empowering Formal and Informal Leadership While Maintaining Teacher Identity 授权正式和非正式领导,同时保持

      非正式MaintainingEmpoweringLeadership

      海外直订Empowering Formal and Informal Leadership While Maintaining Teacher Identity 授权正式和非正式领导,同时保持

      ¥2,647券后¥2,7070人已购买
      优惠券¥60 领券购买 
    • 海外直订Formal Methods for Components and Objects: Second International Symposium, Fmco  组件和对象的正式方法:第二

      InternationalComponents组件Symposium

      海外直订Formal Methods for Components and Objects: Second International Symposium, Fmco 组件和对象的正式方法:第二

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Modeling and Analysis of Timed Systems: First International Workshop, For 定时系统的正式建模和分析:

      建模International定时Modeling

      海外直订Formal Modeling and Analysis of Timed Systems: First International Workshop, For 定时系统的正式建模和分析:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Methods and Software Engineering: 5th International Conference on Formal  正式方法和软件工程:第五届

      Formal软件工程第五届International

      海外直订Formal Methods and Software Engineering: 5th International Conference on Formal 正式方法和软件工程:第五届

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Weighted Automata, Formal Power Series and Weighted Logic 加权自动机,形式幂级数与加权逻辑

      加权幂级数Weighted自动机

      海外直订Weighted Automata, Formal Power Series and Weighted Logic 加权自动机,形式幂级数与加权逻辑

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 预订Formal Verification

      Verification预订Formal

      预订Formal Verification

      ¥1,306券后¥1,4060人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Methods and Software Engineering: 6th International Conference on Formal  正式方法与软件工程:第六届

      Formal软件工程第六届International

      海外直订Formal Methods and Software Engineering: 6th International Conference on Formal 正式方法与软件工程:第六届

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Description of Programming Concepts 编程概念的形式化描述

      形式化DescriptionProgrammingConcepts

      海外直订Formal Description of Programming Concepts 编程概念的形式化描述

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 预订Defending Against Attack -- The Shotokan Way:Teaching Basics, Sparring & Formal Exercise to the Beginner

      Defending预订ShotokanTeaching

      预订Defending Against Attack -- The Shotokan Way:Teaching Basics, Sparring & Formal Exercise to the Beginner

      ¥179券后¥1850人已购买
      优惠券¥6 领券购买 
    • 预订 Women in Formal and Informal Education: International Comparative Perspectives in the History of Education 正规和非

      EducationInternationalPerspectivesComparative

      预订 Women in Formal and Informal Education: International Comparative Perspectives in the History of Education 正规和非

      ¥609券后¥6430人已购买
      优惠券¥34 领券购买 
    • 海外直订Formal Languages and Computation: Models and Their Applications 形式语言与计算:模型及其应用

      ApplicationsComputationLanguages模型

      海外直订Formal Languages and Computation: Models and Their Applications 形式语言与计算:模型及其应用

      ¥1,198券后¥1,2380人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal Aspects of Component Software: 19th International Conference, Facs 2023,  Formal Asp

      FormalInternationalConferenceComponent

      海外直订Formal Aspects of Component Software: 19th International Conference, Facs 2023, Formal Asp

      ¥639券后¥6690人已购买
      优惠券¥30 领券购买 
    • 海外直订Formal and Adaptive Methods for Automation of Pa... 并行程序构建自动化的形式化和自适应方法

      形式化并行AutomationAdaptive

      海外直订Formal and Adaptive Methods for Automation of Pa... 并行程序构建自动化的形式化和自适应方法

      ¥2,701券后¥2,7610人已购买
      优惠券¥60 领券购买 
    • 现货 形式方法 Formal Method Jean【中商原版】

      中商原版现货形式

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

      ¥960券后¥1,0000人已购买
      优惠券¥40 领券购买 
    • 海外直订Identity in Physics: A Historical, Philosophical, and Formal Analysis 物理学中的同一性:历史、哲学和形式分析

      同一性物理学PhilosophicalHistorical

      海外直订Identity in Physics: A Historical, Philosophical, and Formal Analysis 物理学中的同一性:历史、哲学和形式分析

      ¥1,176券后¥1,2160人已购买
      优惠券¥40 领券购买 
    • 海外直订Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, Novem 正式教学方法:科隆/Fme研讨

      科隆教学方法研讨Symposium

      海外直订Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, Novem 正式教学方法:科隆/Fme研讨

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 英文原版 A Critical Introduction to Formal Epistemology 形式认识论的批判性导读 达伦?布拉德利 英文版 进口英语原版书籍

      原版布拉德利达伦批判性

      英文原版 A Critical Introduction to Formal Epistemology 形式认识论的批判性导读 达伦?布拉德利 英文版 进口英语原版书籍

      ¥398.6券后¥428.60人已购买
      优惠券¥30 领券购买 
    • 海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

      形式化方法演算实时Duration

      海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Introduction to the Theory of Formal Languages 形式语言理论导论

      导论IntroductionLanguages形式

      海外直订Introduction to the Theory of Formal Languages 形式语言理论导论

      ¥1,740券后¥1,8000人已购买
      优惠券¥60 领券购买 
    • 海外直订Modelling the City: Formal Ontology and Spatial Humanities Modelling the City: Formal Ontol

      ModellingFormalCityHumanities

      海外直订Modelling the City: Formal Ontology and Spatial Humanities Modelling the City: Formal Ontol

      ¥1,501券后¥1,5410人已购买
      优惠券¥40 领券购买 
    • 海外直订Formal and Practical Techniques for the Complex System Design Process Using Virt Formal and

      FormalTechniquesPracticalComplex

      海外直订Formal and Practical Techniques for the Complex System Design Process Using Virt Formal and

      ¥1,201券后¥1,2410人已购买
      优惠券¥40 领券购买 
    上一页 1 ...  54   55  56  57   58  ... 64 下一页