第五届InternationalConferenceAnalysis
2006InternationalConstructionMathematics
TransformationInternationalSynthesisSymposium
ConnotationalStructure内涵Program
Construction程序设计MathematicsProgram
国际会U.InternationalConstruction
程序开发算法AlgorithmicDevelopment
第六届InternationalConstructionMathematics
德克斯特语义学SemanticsDedicated
国际会课程建设InternationalConstruction
TransformationSynthesis逻辑基于
IntroducingCalPractical编写
TransformationInternationalSynthesisWorkshop
InternationalConferenceAnalysisMethods
TransformationProceedingsInternatioSynthesis
医药图书InternationalConstructionMathematics
Computational程序开发DevelopmentResearch
北京大学课程改革UniversityCurriculum
汇编CompilationDedicatedAnalysis
Lambda微积分CybersecurityDedicated
格罗宁根课程建设ConstructionMathematics
医药图书TransformationInternationalSynthesis
程序开发DevelopmentPractice实践
Transformation第六届InternationalSynthesis
语义ImplementationInternationalApplications
InternationalConstructionMathematics第三届
Transformation第五届InternationalSynthesis
语义ImplementationApplicationsGeneration
