机译:正式方法:数学,计算机科学或软件工程?
机译:动态数学软件的计算机工具及其使用方法上的问题
机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:正式方法:数学,计算机科学或软件工程?
机译:便携式计算机和外围设备的运输方法的现场调查/验证。
机译:医疗保健中的计算机应用。门诊计算机系统。植入式起搏器:心脏起搏器:植入式起搏器的软件仿真
机译:用于估计多处理器计算机系统中复杂软件复合体的执行时间的数学模型,方法和算法的软件实现