9781013271007VerificationComputer印刷
质量检验建模9780471727835Verification
TechnologiesVerificationAccessible预订
InterpretationInternationalVerificationChecking
医药图书成像IGRTVerification
微处理器MicroprocessorVerificationApplication
Verification精度算法Algorithms
InternationalVerificationTechnologyAutomated
求解SatisfiabilityVerificationValidation
微分方程数值VerificationNumerical
ApplicationsVerificationLeveragingValidation
InternationalVerificationConferenceComputer
SystemverilogVerificationMethodology验证
SystemcVerificationSimulationEfficient
行时InternationalVerification研讨
第五届InternationalVerificationHardware
InterpretationInternationalVerification抽象
InternationalVerificationHardwareSoftware
Verification现状验证趋势
建模Verification嵌入式Synthesis
集成电路Verification纳米Soc
系统工程VerificationEngineeringValidation
Verification预订HardwareSoftware
InstallationsVerificationRegulationsElectrical
行时国际会议InternationalVerification
VerificationSequentialAutomaticProcesses
字符串VerificationAnalysisSoftware
建模VerificationModelling验证
遗传学Verification推理基因
VerificationComputer辅助验证
英文预售VerificationHierarchical
自动机时间PetriVerification
克里归纳Verification终止
InternationalVerificationConferenceEdinburgh