• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“ForMal” 共2552个商品
      • 默认
      • 销量
      • 价格
    • 预订 Action Theory and Social Science: Some Formal Models: 9789401012706

      9789401012706预订ScienceAction

      预订 Action Theory and Social Science: Some Formal Models: 9789401012706

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 预订 Caregiving Systems: Informal and Formal Helpers 看护系统:正式与非正式助手: 9781138876255

      非正式看护9781138876255Caregiving

      预订 Caregiving Systems: Informal and Formal Helpers 看护系统:正式与非正式助手: 9781138876255

      ¥648券后¥7380人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Components and Objects

      预售ComponentsMethodsObjects

      【预售】Formal Methods for Components and Objects

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】A Roadmap for Formal Property Verification

      预售VerificationPropertyRoadmap

      【预售】A Roadmap for Formal Property Verification

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 预订 Formal Functions in Perspective: Essays on Musical Form from Haydn to Adorno 从海顿到阿多诺的音乐形式文集(丛书):

      海顿多诺PerspectiveFunctions

      预订 Formal Functions in Perspective: Essays on Musical Form from Haydn to Adorno 从海顿到阿多诺的音乐形式文集(丛书):

      ¥2,373券后¥2,6730人已购买
      优惠券¥300 领券购买 
    • 【预订】Formal Methods Teaching

      预订TeachingMethodsFormal

      【预订】Formal Methods Teaching

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 预订 Formal Methods, Informally How to Write Programs That Work 9781009420990

      9781009420990Informally预订Programs

      预订 Formal Methods, Informally How to Write Programs That Work 9781009420990

      ¥1,010券后¥1,1900人已购买
      优惠券¥180 领券购买 
    • 【预订】FM 2016: Formal Methods

      预订MethodsFormal2016

      【预订】FM 2016: Formal Methods

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】Formal Ontologies Meet Industry

      Ontologies预订IndustryFormal

      【预订】Formal Ontologies Meet Industry

      ¥377券后¥4370人已购买
      优惠券¥60 领券购买 
    • 预订 NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

      2025InternationalWilliamsburgProceedings

      预订 NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

      ¥1,244券后¥1,4240人已购买
      优惠券¥180 领券购买 
    • 【预售】A Formal Definition of Jml in Coq

      预售DefinitionFormalJml

      【预售】A Formal Definition of Jml in Coq

      ¥1,242券后¥1,4220人已购买
      优惠券¥180 领券购买 
    • 【预订】Integrated Formal Methods

      Integrated预订MethodsFormal

      【预订】Integrated Formal Methods

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预订】FM 2006: Formal Methods

      预订MethodsFormal2006

      【预订】FM 2006: Formal Methods

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 预订 The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II: 9783031666728

      9783031666728预订PracticeMethods

      预订 The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II: 9783031666728

      ¥633券后¥7230人已购买
      优惠券¥90 领券购买 
    • 【预售】An Introduction to Discrete Mathematics, Formal

      预售IntroductionMathematicsDiscrete

      【预售】An Introduction to Discrete Mathematics, Formal

      ¥652券后¥7420人已购买
      优惠券¥90 领券购买 
    • 【预订】Formal Hardware Verification

      Verification预订HardwareFormal

      【预订】Formal Hardware Verification

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 预订 Data, Governance and Narrative: Formal Approaches and Practical Realities in Shaping Problems and Solutions in the

      GovernanceApproachesNarrativePractical

      预订 Data, Governance and Narrative: Formal Approaches and Practical Realities in Shaping Problems and Solutions in the

      ¥1,037券后¥1,2170人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal and Transcendental Logic

      预售TranscendentalFormalLogic

      【预售】Formal and Transcendental Logic

      ¥865券后¥9850人已购买
      优惠券¥120 领券购买 
    • 预订 Formal Methods for the Analysis of Biomedical Ontologies 生物医学本体分析的形式化方法: 9783031937750

      形式化方法本体9783031937750Biomedical

      预订 Formal Methods for the Analysis of Biomedical Ontologies 生物医学本体分析的形式化方法: 9783031937750

      ¥513券后¥6030人已购买
      优惠券¥90 领券购买 
    • 预订 Black Women’s Formal and Informal Ways of Leadership 黑人女性的正式和非正式领导方式: 9781668438282

      非正式9781668438282黑人Leadership

      预订 Black Women’s Formal and Informal Ways of Leadership 黑人女性的正式和非正式领导方式: 9781668438282

      ¥1,784券后¥2,0840人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Semantics and Proof Techniques for Optimizing

      预售TechniquesOptimizingSemantics

      【预售】Formal Semantics and Proof Techniques for Optimizing

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 【预售】Integrated Formal Methods: Third International

      预售InternationalIntegratedMethods

      【预售】Integrated Formal Methods: Third International

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Techniques in Real-Time and Fau

      预售TechniquesFormalReal

      【预售】Formal Techniques in Real-Time and Fau

      ¥1,463券后¥1,6430人已购买
      优惠券¥180 领券购买 
    • 【预售】Z - An Introduction To Formal Methods 2E (Paper

      预售IntroductionMethodsFormal

      【预售】Z - An Introduction To Formal Methods 2E (Paper

      ¥1,490券后¥1,6700人已购买
      优惠券¥180 领券购买 
    • 【预售】VHDL for Simulation, Synthesis and Formal Proofs of

      预售SimulationSynthesisFormal

      【预售】VHDL for Simulation, Synthesis and Formal Proofs of

      ¥1,890券后¥2,1900人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Methods for Open Object-Based Distributed

      预售DistributedMethodsFormal

      【预售】Formal Methods for Open Object-Based Distributed

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 【预售】Symbolic Simulation Methods for Industrial Formal

      预售SimulationIndustrialSymbolic

      【预售】Symbolic Simulation Methods for Industrial Formal

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal Techniques for Distributed Systems: Joint

      预售DistributedTechniquesSystems

      【预售】Formal Techniques for Distributed Systems: Joint

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】The Way of Z: Practical Programming with Formal

      预售ProgrammingPracticalFormal

      【预售】The Way of Z: Practical Programming with Formal

      ¥690券后¥7800人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Components and Objects: 4th

      预售ComponentsMethodsObjects

      【预售】Formal Methods for Components and Objects: 4th

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Formal Methods for Open Object-Based Distributed

      预售DistributedMethodsFormal

      【预售】Formal Methods for Open Object-Based Distributed

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

      Manufacturing预订MethodsFormal

      【预订】Formal Methods in Manufacturing

      ¥2,277券后¥2,5770人已购买
      优惠券¥300 领券购买 
    • 【预售】Formal Methods in Human-Computer Interaction

      预售InteractionComputerMethods

      【预售】Formal Methods in Human-Computer Interaction

      ¥505券后¥5950人已购买
      优惠券¥90 领券购买 
    • 【预售】SAT-Based Scalable Formal Verification Solutions

      预售VerificationSolutionsScalable

      【预售】SAT-Based Scalable Formal Verification Solutions

      ¥1,463券后¥1,6430人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal Engineering Design Synthesis

      预售EngineeringSynthesisFormal

      【预售】Formal Engineering Design Synthesis

      ¥1,828券后¥2,1280人已购买
      优惠券¥300 领券购买 
    • 预订 Theory and Formal Methods 1993

      预订MethodsTheoryFormal

      预订 Theory and Formal Methods 1993

      ¥458券后¥5480人已购买
      优惠券¥90 领券购买 
    • 【预售】Automata-Theoretic Aspects of Formal Power Series

      预售TheoreticAutomataAspects

      【预售】Automata-Theoretic Aspects of Formal Power Series

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

      Applications预订MethodsModern

      【预订】Modern Formal Methods and Applications

      ¥1,025券后¥1,2050人已购买
      优惠券¥180 领券购买 
    • 【预订】Formal Verification of Circuits

      Verification预订CircuitsFormal

      【预订】Formal Verification of Circuits

      ¥1,463券后¥1,6430人已购买
      优惠券¥180 领券购买 
    • 【预售】Formal Modeling and Analysis of Timed Systems:...

      预售ModelingAnalysisSystems

      【预售】Formal Modeling and Analysis of Timed Systems:...

      ¥435券后¥5250人已购买
      优惠券¥90 领券购买 
    上一页 1 ...  56   57  58  59   60  ... 64 下一页