• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Formal” 共2530个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Finite Automata, Formal Logic, and Circuit Complexity 有限自动机、形式逻辑和电路复杂性

      形式逻辑自动机复杂性Complexity

      海外直订Finite Automata, Formal Logic, and Circuit Complexity 有限自动机、形式逻辑和电路复杂性

      ¥1,037券后¥1,1370人已购买
      优惠券¥100 领券购买 
    • 海外直订Integrated Formal Methods: 18th International Conference, Ifm 2023, Leiden, the  Integrated

      IntegratedInternationalConferenceMethods

      海外直订Integrated Formal Methods: 18th International Conference, Ifm 2023, Leiden, the Integrated

      ¥1,037券后¥1,1370人已购买
      优惠券¥100 领券购买 
    • 按需印刷DGYT A Formal Theory of Exceptions in Generative Phonology[9783110131482]

      9783110131482ExceptionsGenerativePhonology

      按需印刷DGYT A Formal Theory of Exceptions in Generative Phonology[9783110131482]

      ¥1,098券后¥1,1380人已购买
      优惠券¥40 领券购买 
    • 海外直订Medieval Formal Logic: Obligations, Insolubles and Consequences 中世纪形式逻辑:义务、不可解和结果

      形式逻辑中世纪ConsequencesObligations

      海外直订Medieval Formal Logic: Obligations, Insolubles and Consequences 中世纪形式逻辑:义务、不可解和结果

      ¥1,042券后¥1,1420人已购买
      优惠券¥100 领券购买 
    • 【预售】Formal Ontology in Information Systems

      预售InformationOntologySystems

      【预售】Formal Ontology in Information Systems

      ¥968券后¥1,1470人已购买
      优惠券¥179 领券购买 
    • 【预订】Formal Causes

      预订FormalCauses

      【预订】Formal Causes

      ¥968券后¥1,1470人已购买
      优惠券¥179 领券购买 
    • 预订 NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings

      2024InternationalProceedingsSymposium

      预订 NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings

      ¥969券后¥1,1480人已购买
      优惠券¥179 领券购买 
    • 海外直订Formal Methods for Safety and Security 安全与保安的正式方法

      保安SecurityMethods海外

      海外直订Formal Methods for Safety and Security 安全与保安的正式方法

      ¥1,049券后¥1,1490人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Revolution in the Work of Baudelaire and Flaubert 波德莱尔和福楼拜作品中的形式革命

      波德莱尔福楼拜RevolutionBaudelaire

      海外直订Formal Revolution in the Work of Baudelaire and Flaubert 波德莱尔和福楼拜作品中的形式革命

      ¥1,053券后¥1,1530人已购买
      优惠券¥100 领券购买 
    • 预订 Language Acquisition in Study Abroad and Formal Instruction Contexts. 留学生语言习得和形式教学环境: 9789027205315

      9789027205315留学生InstructionAcquisition

      预订 Language Acquisition in Study Abroad and Formal Instruction Contexts. 留学生语言习得和形式教学环境: 9789027205315

      ¥977券后¥1,1560人已购买
      优惠券¥179 领券购买 
    • 【预售】Formal and Informal Social Safety Nets: Growth an

      预售InformalFormalSocial

      【预售】Formal and Informal Social Safety Nets: Growth an

      ¥1,000券后¥1,1790人已购买
      优惠券¥179 领券购买 
    • 预订 Formal and Informal Social Safety Nets: Growth and Development in the Modern Economy: 9781349482184

      9781349482184Development预订Informal

      预订 Formal and Informal Social Safety Nets: Growth and Development in the Modern Economy: 9781349482184

      ¥1,000券后¥1,1790人已购买
      优惠券¥179 领券购买 
    • 海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化

      Simulink形式化VerificationStateflow

      海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化

      ¥1,088券后¥1,1880人已购买
      优惠券¥100 领券购买 
    • 【预售】Formal Models of Computation: The Ultima

      预售ComputationFormalModels

      【预售】Formal Models of Computation: The Ultima

      ¥1,011券后¥1,1900人已购买
      优惠券¥179 领券购买 
    • 【预订】An Introduction to Formal Languages ...

      IntroductionLanguages预订Formal

      【预订】An Introduction to Formal Languages ...

      ¥1,011券后¥1,1900人已购买
      优惠券¥179 领券购买 
    • 预订 The Interpretation of Fictional Characters in Literary Texts: History of Literary Criticism, Philosophy and Formal

      LiteraryInterpretationCharactersPhilosophy

      预订 The Interpretation of Fictional Characters in Literary Texts: History of Literary Criticism, Philosophy and Formal

      ¥1,012券后¥1,1910人已购买
      优惠券¥179 领券购买 
    • 按需印刷Mentoring in Formal and Informal Contexts (HC)[9781681234625]

      9781681234625MentoringInformalContexts

      按需印刷Mentoring in Formal and Informal Contexts (HC)[9781681234625]

      ¥1,152券后¥1,1920人已购买
      优惠券¥40 领券购买 
    • 海外直订医药图书Experimental Myopathies and Muscular Dystrophy: Studies in the Formal Pathogenes 实验性肌病和肌营养

      医药图书实验性ExperimentalMyopathies

      海外直订医药图书Experimental Myopathies and Muscular Dystrophy: Studies in the Formal Pathogenes 实验性肌病和肌营养

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

      ApplicationsVerificationLeveragingValidation

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

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订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,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Zb 2005: Formal Specification and Development in Z and B: 4th International Conf Zb 2005:Z和B的正式规

      2005SpecificationInternationalDevelopment

      海外直订Zb 2005: Formal Specification and Development in Z and B: 4th International Conf Zb 2005:Z和B的正式规

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip  化和分布式系统的正式技

      分布式DistributedTechniquesNetworked

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

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

      Formal软件工程InternationalEngineering

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

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Formal Methods and Object Technology 形式化方法与对象技术

      形式化方法Technology对象Methods

      海外直订Formal Methods and Object Technology 形式化方法与对象技术

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, J 综合形式方法:第六届国际会

      国际会第六届InternationalIntegrated

      海外直订Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, J 综合形式方法:第六届国际会

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Finiteness and Regularity in Semigroups and Formal Languages 半群与形式语言中的有限性与正则性

      半群有限性正则言中

      海外直订Finiteness and Regularity in Semigroups and Formal Languages 半群与形式语言中的有限性与正则性

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系

      形式化方法OptimizationBehavioralSynthesis

      海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Regulated Rewriting in Formal Language Theory 形式语言理论中的规范改写

      改写RegulatedRewritingLanguage

      海外直订Regulated Rewriting in Formal Language Theory 形式语言理论中的规范改写

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Advanced Formal Verification 先进的形式验证

      VerificationAdvanced验证形式

      海外直订Advanced Formal Verification 先进的形式验证

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Syntax-Directed Semantics: Formal Models Based on Tree Transducers 语法导向语义:基于树变换器的形式化模型

      变换器形式化语义Transducers

      海外直订Syntax-Directed Semantics: Formal Models Based on Tree Transducers 语法导向语义:基于树变换器的形式化模型

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订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,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订Doing Worlds with Words: Formal Semantics Without Formal Metaphysics 用文字做世界:没有形式形而上学的形式语

      形式Formal形而上学Metaphysics

      海外直订Doing Worlds with Words: Formal Semantics Without Formal Metaphysics 用文字做世界:没有形式形而上学的形式语

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图

      路线图VerificationProperty属性

      海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图

      ¥1,093券后¥1,1930人已购买
      优惠券¥100 领券购买 
    • 【预售】Formal Methods for Industrial Critical Systems: A

      预售IndustrialCriticalMethods

      【预售】Formal Methods for Industrial Critical Systems: A

      ¥1,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 【预订】Teamwork in Multi-Agent Systems - a Formal Approach

      预订TeamworkApproachSystems

      【预订】Teamwork in Multi-Agent Systems - a Formal Approach

      ¥1,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 预订 Formal Evidence in Grammaticalization Research: 9789027206756

      Grammaticalizati9789027206756预订Evidence

      预订 Formal Evidence in Grammaticalization Research: 9789027206756

      ¥1,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 预订 Beyond Markedness in Formal Phonology. 在正式音系学中*标记: 9789027257246

      9789027257246Markedness标记Phonology

      预订 Beyond Markedness in Formal Phonology. 在正式音系学中*标记: 9789027257246

      ¥1,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 预订 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,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 预订 Romance Interrogative Syntax: Formal and typological dimensions of variation. 浪漫疑问句语法——形式和类型上的变化:

      疑问句Interrogativetypological语法

      预订 Romance Interrogative Syntax: Formal and typological dimensions of variation. 浪漫疑问句语法——形式和类型上的变化:

      ¥1,025券后¥1,2040人已购买
      优惠券¥179 领券购买 
    • 【预售】Foundations of Algebraic Specification and Formal

      预售SpecificationFoundationsAlgebraic

      【预售】Foundations of Algebraic Specification and Formal

      ¥1,026券后¥1,2050人已购买
      优惠券¥179 领券购买 
    上一页 1 ...  50   51  52  53   54  ... 64 下一页