机译:急切和延迟的合同监控,以按价值进行呼叫和按名称进行呼叫评估
Institut fuer Informatik, Universitaet Freiburg. Georges-Koehler-Allee 079. D-79110 Freiburg. Germany;
rnInstitut fuer Informatik, Universitaet Freiburg. Georges-Koehler-Allee 079. D-79110 Freiburg. Germany;
rnInstitut fuer Informatik, Universitaet Freiburg. Georges-Koehler-Allee 079. D-79110 Freiburg. Germany;
contract monitoring; call-by-name; call-by-value; formal system; type and effect system;
机译:无损害的延迟条款:评估合同延迟风险
机译:合同付款延迟后,共和党监测中西部
机译:基于智能合同和评估模型的食品质量监测系统
机译:基于Sentinel-2的甘蔗区收获监测的Sentinel-2的远程评估系统
机译:同伴监测对有社会延迟和无社会延迟的学龄前儿童观察性刺激控制的影响;内在对视频和学习对绩效。
机译:渴望和乐观偏见:越渴望学习他人的评价他人的评价就越高
机译:提前和延迟合同监控,以按价值进行呼叫和按名称进行呼叫评估
机译:延迟中子浸出式监测仪的设计与评价