退出
我的积分:
中文文献批量获取
外文文献批量获取
陈海明; 董韫美;
中国科学院软件研究所计算机科学重点实验室;
北京;
100080;
形式规约语言; 上下文无关语言; 递归函数;
机译:通过扇区和H-Infinity常规约束改进了结构化滤波器设计和分析,通过凸计算和H-Infinity常规约束
机译:国际刑事法院序言:检察长V. THOMAS LUBANGA DYILO,根据《规约》第74条作出的判决以及根据《规约》第76条作出的判决的决定
机译:规约语言:法律及其解释
机译:基于正规约束的过滤评估指标比较
机译:刑事合法性原则与国际法视角下内部范围内罗马规约的实施
机译:规约:基于视频的智能手机应用程序( VIDEA bewegt)可为德国成年人提供体育锻炼支持:单臂观察研究的研究规程
机译:关于欧洲协会章程的理事会条例(EEC)的修正提案。修订了关于欧盟协会关于雇员参与的补充规约的理事会指令提案。关于欧洲合作社规约的理事会条例(EEC)的修正提案。修订了关于欧盟合作社关于雇员参与的规约的理事会指令提案。关于欧洲共同社会规约的理事会条例(EEC)的修正提案。修订了关于欧盟共同社会规约的关于雇员参与的理事会指令的提案。 COm(93)252最后决定,1993年7月6日
机译:“规约与条例”中的恐怖主义及相关术语:选定语言
机译:违规约束装置和具有该违规约束装置的违规约束系统
机译:用于计算设置上规和下规的个别规定与制图规约的直接关系的建筑规约信息搜索系统及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。