退出
我的积分:
中文文献批量获取
外文文献批量获取
理论研讨会; 新闻出版局; 出版业; 2000年; 天水市; 西部大开发; 出版工作者; 科研成果; 科学研究; 面临的新形势;
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:2000年汉诺威工业博览会(3月20日至25日):能源峰会在汉诺威举行
机译:ZVEH 2000年年会在胡苏姆举行
机译:1994年8月在匈牙利首都布达佩斯举行的东欧社区放射性污染物计量,技术标准和社会经济因素协调工作研讨会:关于欧洲共同体委员会在布达佩斯举行的委员会的报告
机译:全球化会在皮奥里亚发挥作用吗? 1948--2000年,全球经济中的阶级,种族和国家。
机译:译成法文:在墨尔本第十八届国际植物大会上对出版要求进行了更改-电子出版物对您意味着什么?。克里斯蒂安·福耶(Christian Feuillet)和瓦莱里·马勒科特(ValéryMalécot)翻译第十八章出版条件的变更 在墨尔本举行的国际植物大会上-电子出版对您意味着什么?
机译:座谈会的玛丽在座谈会中。 FrançoiseDeroy-pineau,dir。,化身的marie Guyard。跨洋命运(图尔,1599 - 魁北克,1672),蒙特利尔,L'Harmattan出版社,2000年,415页,$ 52雷蒙德·布罗德,目录,女,神秘主义者和传教士... 1974年魁北克省图尔卡的化身玛丽·盖亚特,1672年。在洛雷特维尔举行的魁北克大学中心研究中心举办的玛丽德动画研究中心举办的研讨会论文集,魁北克市,1999年9月22日至25日,魁北克,拉瓦尔大学出版社,2001年,387页,30美元
机译:诉讼。 1995年IEEE国际信息理论研讨会在京召开
机译:sutento [相关申请]长期以来是申请号为2001年5月25日的申请号09 / 864,389的部分延续申请,同一申请是申请号为2001年2月的09 / 795,794的申请部分的延续申请第28号申请,同一申请是2000年3月1日申请的申请号09 / 516,753的申请,除了long憬之外,您还坚持要求2000年5月申请的临时申请的第60 / 202,723号的优先权。
机译:电子出版物的出版物证明系统,出版物证明服务器和出版物证明方法,电子出版物的出版物证明程序和具有该程序的计算机可读记录介质
机译:我省略了
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。