SpecificationDescriptionTechniquesVerificati
2010Automation表格Methods
分布式Distributed基于对象
形式化方法分布式DistributedDevelopment
9783110218381Linguistics预订Formal
容错形式化Techniques实时
非正式9781668438282黑人Leadership
预售InformalSecurityFormal
英文预售原版Practical
装进英文预售Credentialing
英文原装进口预售原版
Logic论证预订Argument
TransdisciplinarSimulationLanguagesApplicati
非正式9789004420496Philosophy预订
预售EngineeringSynthesisFormal
预售InformalConceptsLinking
transcendental9789401746380预订Formal
9781466619302EnvironmentsInformalLearning
预售EducationFormalEarly
预售IntersectionsInformalScience
预售DistributedTechniquesNetworked
预售SemigroupsLanguagesFormal
预售DistributedMethodsFormal
预售DescriptionTechniquesProtocol
预售EngineeringModelingSoftware
预售SimulationSynthesisFormal
预售ElectronicModellingCommerce
预售AutomationMethodsFormat
预售DistributMethodsFormal
SemigroupsLanguages预订Formal
DistributedDevelopment预订Methods
EngineeringDistributed预订Protocol
