机译:通过仲裁器进行更安全的SDN编程
Axiomatic programming; Dependent types; Software defined networking;
机译:通过仲裁器进行更安全的SDN编程
机译:辐射安全:管理和计划。 H Domenech。 瑞士:Springer International Publishing,2017。 精装332。 PP。价格:141.49美元。 ISBN 978-3-319-42669-3。 辐射安全:管理和计划辐射安全:管理和计划。 H domenech h h domenech domenech。 瑞士瑞士:Springer国际出版Springer国际出版社,2017年2017年。 精装332 332。 PP。价格:141.49美元。 ISBN 978-3-319-42669-3。
机译:高角度颈部Aorfix支架移植物的结果和安全性-前瞻性观察研究(仲裁人2)。
机译:SDN参与者:SDN程序的建模和验证
机译:可编程测量的云计算中基于弹性和自适应SDN的防御
机译:HIV感染患者淋巴结中的程序性死亡-1 /程序性死亡配体1表达:使用抗程序性死亡配体1(Avelumab)在恒河猴中进行的初步安全性研究的结果
机译:建议理事会决定采用能源部门的多年度研究,分析,预测和其他相关工作计划(1998-2002)(Etap progrramme)。关于理事会决定的建议通过一项多年度计划(1998 - 2002年),关于核安全部门与安全运输放射性物质和保障措施以及促进目前各国核装置安全的某些方面的工业合作的行动参加Tacis计划(sure计划)。 COm(98)423决赛,1998年7月15日