退出
我的积分:
中文文献批量获取
外文文献批量获取
成年; 显示; GDP; 经济; 初制;
机译:IOC,NPC的目标是在2005年初完成研究
机译:显示对象和显示目标对双目立体显示器的影响 - 显示尺寸的显示,显示目标的大小,以及目标的显示位置的效果
机译:多目标最短路径问题是NP-难还是难?
机译:在虚拟城市车道目标环境中,检查三维听觉显示器对态势感知的影响。
机译:群体理论的某些简单,不可解决的问题。 V 29,3029 I,II,III和IV部分出现在A系列57、3和5号中; 58,第2和5号程序,以及Indag。 Math。,16,Nos 3 and 5(1954); 》,第17卷,第2期和第5期(1955年)。在第一部分,第234页中,显示的材料之后的第九行和第十行,出现A读D和出现B都读E:在第二部分,第497页,对于图A和D中所有出现的M,请读C。在第Ⅳ部分,第574页中,第三行显示为zαiLreadz-αiL。 19).30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。 (请参阅第I部分的脚注1。)我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持,在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时,对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题,希望以后再解决。 1956年8月3日,在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时,Roger Lyndon教授建议进行改进,并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。)
机译:ada编译器验证摘要报告:证书编号:No. 890531N1.10087.alsys Limited,alsyCOmp 017 V4.0 microVaX II主机和INmOs T425在B403 TRam目标上实施。完成现场测试1999年5月31日
机译:用于处理在目标空间视图配置中显示给观看者的三维(3d)图像数据的装置,用于在目标对象的观看者观看的3d监视器上显示的三维(3d)图像数据的方法空间配置目标空间可视化,用于将要在3d监视器上显示的三维图像(3d)数据以目标空间可视化配置传输给观看者的3d图像信号,记录载体和用于处理三维图像数据的计算机程序产品( 3d),以便在3d监视器上显示给查看者
机译:用于在三维显示设备中使用的三维视频信号的数据重定向的方法,用于重定向在三维显示设备中使用的三维视频信号的目标系统,用于显示三维图像的目标设备对于该系统,计算机程序重定向三维视频信号,并且,一种计算机程序产品
机译:目标对象即便携式电话,一种用于在线商店的三维表示可视化方法,涉及在计算机的显示设备上显示目标对象的三维图像。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。