schroeder 中文意思是什麼

schroeder 解釋
施羅德
  1. Schroeder was apparently the first to offer some information about the benthic algae.

    顯然是Schroeder首先提出了有關海底藻類的資料。
  2. Schroeder ' s biographer juergen hogrefe says the chancellor is waiting to see what will come along

    施羅德的傳記作者于爾根?霍格雷費認為,這位即將卸任的總理正在等待中觀望,看看什麼會發生。
  3. In an upstairs room of my city house, at midnight, i would send out through the open windows long, tortured fragments of alwin schroeder ' s 170 foundation studies for violoncello to mingle with the squeals of cats

    午夜時分,我在城裡住宅的樓上房間里,經常拉阿爾溫.舒羅德的《大提琴基本練習曲170首》 ,從敞開是窗戶傳出長時間折磨人的練習曲片段,和貓的抗議聲混在一起。
  4. Schroeder was apparently the first to offer some information about the benthic algae

    顯然是schroeder首先提出了有關海底藻類的資料。
  5. Schroeder arrived half a day after the first leaders, but was made to feel welcome by his buddy and host, french president jacques chirac

    施羅德晚了半天抵達埃維昂,不過他還是受到了他的老朋友,東道主希拉克的歡迎。
  6. Endless conflicts between germany and the united states since schroeder coming to power

    施羅德執政以來德美關系何以矛盾迭起
  7. German chancellor gerhard schroeder has been nominated for the nobel peace prize, well - informed sources said tuesday when contacted by deutsche presse - agentur

    本周二,據德新社可靠消息稱德國總理施羅德已經獲得今年「諾貝爾和平獎」候選人提名。
  8. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質,安全協議的形式化驗證方法,以及小系統模型的原理;重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理,而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗,發現了它們的安全漏洞。
  9. We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    本文研究了驗證安全協議的各種形式化方法,詳細研究了符號化模型檢驗工具smv的工作機制;確定了使用smv作為工具對安全協議進行模型檢驗,驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。
  10. Former german chancellor gerhard schroeder is reportedly improving his english language skills and sinking a few pints of beer in a small town on the border of england and wales

    德國前總理格哈德施羅德離職后並不輕松。日前,他正在英格蘭和威爾士交界的一個小鎮上,為提高自己的英語水平進行著不懈努力。
  11. Football is the order of the day too with german chancellor gerhard schroeder who missed the first half of germany ' s match against cameroon to meet with the visiting sultan of brunei

    對于德國總理施羅德來說,足球也成了世界盃期間他生活中不可或缺的一部分。但是因為要會見到訪的文萊蘇丹,他錯過了德國對喀麥隆的上半場比賽。
  12. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr

    通過使用smv對needham - schroeder公鑰協議進行建模和驗證,理解了符號化模型檢驗和小系統模型的原理,並發現了一個協議漏洞,該漏洞與gavinlowe用fdr所發現的相一致。
  13. Now thirty years have passed and this same atheist, dr. flew, in a recent dialogue with dr. schroeder, from the weisman institute, was asked this question

    那麼說有這么一個存有這樣的描述,就像是說有一個圓形的正方形,或一個未婚的丈夫
  14. As schroeder puts it " so don ' t bother installing a carnot engine in your car ; while it would increase your gas mileage, you would be passed on the highway by pedestrians.

    正如施羅德所說: "甭管安裝一個卡諾熱機在你的車,而這會增加你的氣里程,你會予以通過對公路行人" 。
  15. While bush and chirac were nabbing the photo - op limelight for their first tete - a - tete since their row over the iraq war, two other leaders went almost unnoticed. schroeder and russian president vladimir putin exploited the photographers " fixation on the goings - on on the terrace of the plush hotel royal to wander onto the lawn

    趁著記者們在豪華的皇家飯店的陽臺上圍著布希和希拉克,無暇顧及自己的空當,德國總理施羅德和俄羅斯總統普京溜到外面草坪上散步去了。
  16. Paper : michael schroeder and michael burrows. " performance of firefly rpc, " acm transactions on computer systems 8, 1, february 1990, pp 1 - 17

    11論文:螢火蟲遠端程序呼叫的效能(美國)電腦協會電腦系統會刊第8號, 1990年2月1日,第1 - 17頁。
  17. Nonetheless, the euro is not immune to jawboning from european politicians such as french president jacques chirac, german chancellor gerhard schroeder or even their finance / economists lieutenants nicolas sarkozy and hans eichel

    然而,歐元並不能避免來自歐元區政治家們的口頭影響,比如法國總統雅克.希拉克,德國總理施羅德,甚至於是他們的金融/經濟副手尼姑拉絲.薩科奇以及漢斯.艾舍爾。
  18. Nobel literature laureate guenter grass of germany, who won the 1999 literature prize, said monday that he considered schroeder a candidate for the peace prize over his opposition to allowing germany to participate in the u. s. led attack on iraq

    1999年獲得諾貝爾文學獎的德國著名作家君特?格拉斯周一表示,他認為施羅德有資格角逐本年度的諾貝爾和平獎,因為在美國領導的伊拉克戰爭中,施羅德堅持反戰立場,拒絕德國參戰。
  19. The euro rise resumed after german chancellor gerhard schroeder suggested that he would tolerate a stronger euro

    歐元恢復上升以前,德國總理施羅德星期五曾暗示,他將對較強的歐元持容忍態度。
  20. German chancellor gerhard schroeder and chinese prime minister zhu rongji were among those to make the first trip on wednesday

    德國總理施羅德和中國總理朱?基周三和市民一起搭乘了第一班列車。
分享友人