分布式DistributedTechniquesComponents
形式化方法系统工程EngineeringMethods
FormalApplicationsFoundationsBrazilian
验证ApplicationsVerificationLeveraging
乘数形式化VerificationStructurally
形式化软件工程FoundationsEngineering
容错InternationalTechniques实时
2001InternationalProductivityIncreasing
自动机LanguagesAutomata形式
IntroductionAnalysis形式海外
InternationalDistributedTechniquesComponents
分词grammaticalizati语法Participle
Groningen预订GermaniaRoningen
9789027227669预订TypologyIssues
分布式DistributedTechniquesNetworked
化学知识演变Evolution
ApplicationsFoundationsBrazilianSymposium
非正式MaintainingEmpoweringLeadership
InternationalComponents组件Symposium
建模International定时Modeling
Formal软件工程第五届International
加权幂级数Weighted自动机
Verification预订Formal
Formal软件工程第六届International
形式化DescriptionProgrammingConcepts
Defending预订ShotokanTeaching
EducationInternationalPerspectivesComparative
ApplicationsComputationLanguages模型
FormalInternationalConferenceComponent
形式化并行AutomationAdaptive
中商原版现货形式
同一性物理学PhilosophicalHistorical
科隆教学方法研讨Symposium
原版布拉德利达伦批判性
形式化方法演算实时Duration
导论IntroductionLanguages形式
ModellingFormalCityHumanities
FormalTechniquesPracticalComplex