Robert Rettinger;
机译:计算总实数字段的p-ADIC L函数
机译:多项式微分方程可计算紧凑区间上的所有实可计算函数
机译:可计算性和实数表示能力弱
机译:弱可计算的实数和总计可计算的真实功能
机译:基于风险入侵功能的QoS驱动的资源分配框架,并将其合并到支持分布式容错实时计算应用程序的中间件体系结构和机制中。
机译:对于经自然腔道内镜手术导航为基础的断层实时计算的增强现实
机译:有界变差和半可计算实数的可计算实函数
机译:一种计算正实双向导数函数的Brune和Bott-Duffin电路实现的捷径方法