退出
我的积分:
中文文献批量获取
外文文献批量获取
刘丽斌; 张寿华; 濮德敏; 任瑞娟; 米佳;
中国图书馆学会;
中国分类主题词表; 知识组织系统; 程序设计; 数据库查询;
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:将Web内容自动转换为用于旅游领域的基于本体的资源描述语言
机译:从上游设计到模型检查过程的集成设计验证环境:从UML描述到SPIN模型检查器过程定义和线性时间逻辑公式的自动转换方法
机译:基于SKOS的事件本体描述框架
机译:基于本体的文档自动转换的可行性研究。
机译:用于临床研究的集成数据管理:主要研究人员,数据管理者和统计人员使用带有语义注释的数据模型的自动转换
机译:用于临床研究的集成数据管理:针对主要研究人员,数据经理和统计学家的带有语义注释的数据模型自动转换
机译:套装,套件和服装(sKO)管理概念评审(第1阶段)
机译:在联邦资助的含有氨基杂芳基的促动蛋白1受体拮抗剂的研究或开发声明中描述的本发明的研究和开发不受联邦政府的支持。
机译:用于患者的临床检查装置,具有与患者的病史相关的医学研究,并且包括关于病史的描述,其中选择了相关表示以形成所选的相关医学研究
机译:描述研究参与者卫生状况的数据集即ECG时程的分类方法涉及使用概率过程将健康研究参与者的数据集分类为假阴性数据集
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。