退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:旋转模型检查和软件验证: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马克,软封面。
机译:柏林304个住宅小区的区域供热站的现代化改造
机译:劳伦兹·邓普斯(Laurenz Demps),柏林皇家残疾人院。他的网站的历史和发展。在柏林国家档案馆和柏林国家纪念碑管理局的大力支持下,由德国联邦Invalidenfriedhof e.V.编辑
机译:盖尔森基兴(Gelsenkirchen)的太阳能住宅小区的评估:德国北莱茵威斯特法伦州的50个太阳能住宅小区之一
机译:海纳·穆勒(Heiner Mueller)和历史戏剧:在第二次世界大战后(“柏林的德国托德”)和统一后的时代(“德国3托滕·曼格斯彭斯特”)寻找新的德国身份。
机译:依夫韦伦及其代谢产物8-羟基-依夫韦伦的血浆和外周血单核细胞浓度的人群药代动力学模型
机译:用于城市住宅的无源太阳能住宅:西柏林的案例研究和改造设计
机译:关于德国煤炭剥采方法和设备的报告
机译:设立带有空洞的劳夫采特罗伦人进行投票
机译:磨削和抛光过程中用通用的施伦夫根施伦夫测定施夫尔滕施伦施泰特笼头的装置
机译:具有并联整流器的整流器站的选择性保护,在直流侧,并且有防止鲁克斯特伦的保护装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。