FormalismsMechanics预订Quantum
量子力学形式主义导论Introduction
ApplicationsUncertaintyFormalisms预订
MethodologiesApplicationsFormalisms预订
需求建模RequirementsFormalisms
形式主义不确定性ApplicationsUncertainty
代理MethodologiesApplicationsFormalisms
9783039361786Formalisms预订Progress
形式主义重用系统集成Integration
Formalisms预订SystemsReuse
欧几里得TrigonometricComputational几何
后继Formalisms证明形式
9781848214606SatisfactionConstraintFormalisms