Information香农TheoriesSemantic
InternationalIndustrialFmeAdvances
分布式DistributedTechniquesNetworked
复杂系统形式化方法MethodsApplied
DescriptionalInternationalComplexityConference
复杂性DescriptionalInternationalComplexity
形式化方法软件工程EngineeringCollocated
形式化方法人机Interaction交互
形式化方法ManufacturingAdvances进展
容错InternationalTechniques实时
Stratification9789048163724Generating预订
密码学VerificationHandbookAnalysis
9783031666728预订PracticeMethods
9780367219994Nonlinear印刷Methods
MethodsFormalDevelopmentCongress
原版中商英文Mathematics
形式逻辑海外FormalLogic
英文预售原版Practical
形式化建模InternationalConference
ProgrammingConcurrentScientificDedicated
InternationalTechniquesCriticalWorkshop
变换器形式化语义Transducers
形式化方法InternationalApplications程序设计
International研讨会SymposiumMethods
形式化方法Formal软件工程International
NASAInternational第三届Symposium
JavaDevelopment软件开发VDM
Grzegorz献给ComputingDedicated
Formal软件工程InternationalEngineering
抽象Integrating认知Cognition
International组件ComponentSymposium
形式化方法软件工程EngineeringSoftware
ApplicationsVerificationLeveragingValidation
里克库布PhilosophicalKubrick's
人工智能ApplicationsIntelligenceAutoencoders
英文原装进口预售原版
9780691181301Verification预订Software
软件工程EngineeringSoftwareDedicate
分布式Distributed面向对象
9789401073004ContributionsUnpublished预订
