退出
我的积分:
中文文献批量获取
外文文献批量获取
孙笑侠; 应永宏;
浙江大学,浙江,杭州,310028;
温州大学,浙江,温州,325027;
程序; 法律形式化; 规范;
机译:回顾Artinopoulou,Vasso,《恢复性司法:现代法律制度的挑战》(希腊语:修复正义:现代法律制度的挑战)
机译:程序结构形式化在面向对象程序中的应用
机译:压力变送器 - 模拟或数字?各个应用程序的哪些因素和特征扮演角色:各个应用程序的哪些因素和特征扮演角色:各个应用程序的哪些因素和特征扮演角色
机译:基于程序结构形式化方法的排序算法程序分类及特征分析方法
机译:审查隔离和检疫中的程序性和实质性正当法律程序,并审查康涅狄格州隔离和检疫法规中的程序性和实质性正当法律程序。
机译:ANISEED数据库:数字表示形式化和阐明了一个胆小的开发程序
机译:日本行政程序法和行政程序条例中的重要法律问题:以申请权为中心的日本行政程序法律制度的特征
机译:多层应用程序隐私要求规范的形式化分析。
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:一系列电气构造要素的制造程序,特别是在塑料盒中制造建筑半导体的微量元素的程序。 (通过Google翻译进行机器翻译,没有法律约束力)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。