Mobile
Log In Sign Up
Home > english-chinese > "steffen" in Chinese

Chinese translation for "steffen"

斯特芬

Related Translations:
steffen stoerseth:  斯特芬斯特尔塞特
steffen britta:  斯特芬布丽塔
jim steffen:  斯特芬
steffen cerro:  斯蒂芬峰
steffen driesen:  斯特芬德里森
steffen dangelmayr:  丹戈麦尔
steffen zesner:  斯特芬策斯纳
steffen korell:  科雷尔
cerro steffen:  斯蒂芬峰
steffen hamann:  夏 文
Example Sentences:
1.With the scores level at half - time , ole replaced frode johnsen and the norwegians - aided by victor berco ' s red card two minutes after the break - sealed victory with goals from fredrik stromstad and steffen iversen
尽管挪威在下半场开始两分钟后遭遇红牌,但弗里德里克.史唐斯特和史蒂芬.伊弗森的进球帮助球队取得了胜利。
2.Tools and algorithms for the construction and analysis of systems , margaria and steffen eds . , lncs 1055 , passau , germany : springer verlag , 1996 , pp . 147 - 166 . 16 kripke s . a semantical analysis of modal logic
我们此理论上已经开发出一个完全自动化的安全协议验证工具spv security protocol verifier .要验证的规范可以带有嵌套知识算子,并且此工具是基于证明的,而不是象别的很多方法那样是基于证伪的,即找漏洞
Similar Words:
"steffans" Chinese translation, "steffansson" Chinese translation, "steffe" Chinese translation, "steffek" Chinese translation, "steffel" Chinese translation, "steffen ahrends" Chinese translation, "steffen britta" Chinese translation, "steffen cerro" Chinese translation, "steffen dangelmayr" Chinese translation, "steffen driesen" Chinese translation