Compilers; Fortran; Proving; Standards; Verifying; Error analysis;
机译:粪便样品中隐孢子虫卵囊计数的下一代液滴数字PCR(ddPCR)与定量PCR(qPCR)的比较
机译:立法者寻求扩大对IBM PC抛售的审查
机译:具有复杂算术扩展的IBM PowerPC 440 FPU
机译:IBMDCH:基于HPC的数字城市中的非法建筑监控
机译:使用IBM PC / XT自动化VARIAN GEN II MBE生长系统
机译:micro-RECONSIDER:IBM-PC XT上的差异诊断提示帮助
机译:用于IBM-PC和带DSP-16的IBM-PC的数字信号处理软件包。
机译:ada编译器验证摘要报告:证书编号:890623N1.10107,alsys Limited,alsyCOmp 037 V4.0,INmOs T800 B405 TRam上的Transputer(裸机),带有INmOs B008通信链路,在IBm pC / aT(在ms-DOs下)实现3.1和INmOs Iserve