退出
我的积分:
中文文献批量获取
外文文献批量获取
刘树锟; 莫正杰; 吴沛林; 黄小波;
湖南涉外经济学院计算机科学与技术学院,长沙410205;
Java建模语言; 程序不变量; diduce; daikon; 运行轨迹;
机译:使用Java建模语言进行一致性测试开发
机译:HTML 5和JAVASCRIPT框架实现的用例,类和活动图的统一建模语言工具协作
机译:HTML 5和JAVASCRIPT框架实现的使用案例,类和活动图的统一建模语言工具协作|科学出版物
机译:基于Java VM运行时信息的死锁检测工具
机译:使用Java 5注释的Java建模语言(JML)的规范语言设计
机译:氟唑嗪和牛瘟穿孔蛋白酶与Muroidogyne javanica javanica javanica javanica和M.Inmognita的孢子粘附性与脊椎蛋白酶的相容性
机译:基于JaVa和JaVa servlet的基于Web的供应中心物料请求和跟踪(smaRT)系统的设计与实现
机译:磁传感器,其包括基于不变量的换能器,该换能器以与共振频率不同的速率进行控制,以及基于不变量控制换能器的方法
机译:在基于Java的复合应用程序中使用基于Java的对象表示法(JSON)桥进行基于非Java的组件通信的增强型开发工具
机译:增强的开发工具,用于利用javascript对象表示法(JSON)桥进行基于Java的复合应用程序中非基于Java的组件通信
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。