形式逻辑自动机复杂性Complexity
自动机ApplicationsPropertiesAutomata
多核形式化方法FormalInternational
ApplicationsComputationLanguages模型
公理化本体AxiomaticOntology
语义学引言IntroductionSemantics
国际会International第三届Conference
幂级数微分方程DifferentialMeromorphic
形式化方法软件工程SefmEngineering
形式化方法定量QuantitativeEvaluation
InternationalTechniquesCriticalWorkshop
中商原版现货形式
2007SpecificationInternationalDevelopment
ComponentsMethodsObjects海外
形式化财务审计建模Specifications
验证ApplicationsVerificationLeveraging
讲习InternationalTeachingWorkshop
语义学语言学ComputationalLinguistics
医药图书实验性ExperimentalMyopathies
形式化辅助设计InternationalConference
形而上学PerspectivesMetaphysics透视
ApplicationsStrengthenedFoundationsIndustrial
分布式DistributedTechniquesComponents
InterdisciplinarApplicationsLanguage模型
FormalApplicationsFoundationsBrazilian
Perspective视角Technology形式
形式化方法离散DynamicalDiscrete
认识论EpistemologySourcebookReadings
非正规InternationalPerspectivesComparative
形式化方法Technology对象Methods
形式化方法软件工程EngineeringSoftware
软件测试第五届InternationalApproaches
形式化方法FormalInternationalDynamical
本体论InternationalOntologiesIndustry
言和DevelopmentsApplicationsLanguages
形式化方法VerificationSoftware自治
形式化方法蒸汽ApplicationsProgramming
形式化语义切片Applications
ProcessesQuestionsSemantics信念
