springer n.1.跳的人,跳的東西。2.【動物;動物學】獚,能哄起...
n. 1.跳的人,跳的東西。 2.【動物;動物學】?,能哄起獵獲物的長耳小獵犬〔又叫 springer spaniel〕。 3.逆鰭鯨。 4.【建筑】起拱石,拱腳石。 5.=spring chicken. “christian springer“ 中文翻譯: 克里斯蒂安・施普林格; 施普林格“cross springer“ 中文翻譯: 交叉穹肋“gable springer“ 中文翻譯: 山墻托臂“hugh springer“ 中文翻譯: 休斯普林格“impost springer“ 中文翻譯: 拱腳石“jerry springer“ 中文翻譯: 杰瑞斯普林格“paul springer“ 中文翻譯: 斯普林“springer bow“ 中文翻譯: 彈簧小圓規“springer link“ 中文翻譯: 所提供電子叢書如下:“springer mt“ 中文翻譯: 斯普林格山“springer spaniel“ 中文翻譯: 激飛獵犬; 士兵格獵犬; 斯普林斯班尼犬“springer verlag“ 中文翻譯: 德國施普林格出版社“springer-auslandsdienst“ 中文翻譯: 施普林格國外新聞社“springer-verlag“ 中文翻譯: 出版集團“thrust at springer“ 中文翻譯: 拱端推力; 拱腳推力“axel caesar springer“ 中文翻譯: 阿克塞爾凱撒施普林格“axel springer concern“ 中文翻譯: 阿克塞爾施普林格公司“axel springer inlands-dienst“ 中文翻譯: 阿克塞施普林格國內通訊社“axel springer verlag ag“ 中文翻譯: 阿克塞爾施普林格出版社“english springer spamel“ 中文翻譯: 英國史賓格犬“english springer spaniel“ 中文翻譯: 【動物;動物學】英國長耳跳犬。 “english springer spaniel club“ 中文翻譯: 史賓格俱樂部“english springer spaniels“ 中文翻譯: 英國激飛獵犬“sad springer auslandsdienst“ 中文翻譯: 施普林格國外新聞社“springenschmid“ 中文翻譯: 施普林根施米德“springen“ 中文翻譯: 施普林根
springhall |
|
5 fritzson p , engelson v . modelica - a unified object - oriented language for system modeling and simulation . lecture notes in computer science 1445 , springer - verlag , 1998 , pp . 67 - 90 但如果仿真建模工具能采取適當策略自動地把引起問題的根源限定到較小的范圍內并提示給用戶,那么模型的修正效率將大大提高。 |
|
Springer and other businesses have gone to court , claiming that the renaming will be too costly ( so delaying the erection of any new street signs ) 施普林格集團與其他行業已經一紙訴狀將《每日新聞》告上法庭,控告后者發起的修改路名之舉過于勞民傷財(因而也就使得樹立任何新路牌的計劃遙遙無期) 。 |
|
3 rueppel r a . on the security of schnorr s pseudorandom generator . in advances in cryptology - eurocrypt 89 , lncs 434 , springer - verlag , houthalen , belgium , april 1989 , pp . 423 - 428 Luby和rackoff的主要結果是:如果輪函數是偽隨機函數,則3輪feistel結構是偽隨機的, 4輪feistel是超偽隨機的。 |
|
Lecture notes in computer science 843 . berlin : springer - verlag , 1994 , pp . 89 - 94 . 8 inoue k , ito a , takanami i . on 1 - inkdot alternating turing machines with small space 為了嚴格地分開確定性語言族和非確定性語言族, ranjan等提出了一個稍加修改的圖靈機模型,稱為1墨水點1 inkdot圖靈機。 |
|
Eisenbud , david . commutative algebra with a view toward algebraic geometry . vol . 150 , graduate texts in mathematics . new york : springer - verlag , 1994 . isbn : 0387942696 《用代數幾何的觀點的交換代數》 。研究生數學教材第150卷。紐約:斯普林格出版社, 1994年版。書號: 0387942696 。 |
|
Springer - verlag , 2003 , pp . 85 - 99 . 4 kurosawa k . multi - recipient public key encryption with shortened ciphertext . lecture notes in computer science 2274 , naccache d , paillier p eds . , 方法3雖然比方法2有更短的密文,但是其加密和解密是串行的,且計算量等同多次獨立加密的計算量。 |
|
Specification of camellia - a 128 - bit block cipher . in selected areas in cryptography - sac 2000 , lncs 2012 , springer - verlag , waterloo , ontario , canada , august 2000 , pp . 183 - 191 本文通過不過降低假設條件,研究camellia型結構的偽隨機性,為實用camellia型方案的設計提供理論基礎。 |
|
Springer - verlag , 2002 , pp . 48 - 63 . 5 smart n p . efficient key encapsulation to multiple parties . lecture notes in computer science 3352 , blundo b , cimato s eds . , 在無線環境的應用中例如移動ad hoc網絡,太長的密文會占用寶貴的無線帶寬,復雜的運算會大大降低應用的實用性。 |
|
Eurocrypt 93 , lofthus , norway : springer - verlag , lncs 765 , 1993 , pp . 240 - 247 . 9 p van oorschot . extending cryptographic logics of belief to key agreement 并且我們發現,其邏輯計算,可以直接轉成可滿足性問題sat進行處理,從而可以利用工業上高效的sat求解器來計算 |
|
The knowledge - of - exponent assumptions and 3 - round zero knowledge protocols . lecture notes in computer science , franklin m ed . , springer - verlag , 2004 , 3152 : 273 - 289 本文最后獲得了這樣的結論:新的加密體制在ddh假設, kea3假設和tcrv假設下滿足ind - cca2安全。 |
|
In proc . the 4th conference on security in communication networks scn 04 , amalfi , italy , september 8 - 10 , 2004 , springer - verlag , lncs 3352 , pp . 165 - 179 若變色哈希函數不具有信息隱藏性,則當簽名者出示變色哈希的一個碰撞時,他將不得不出示他最所簽署的消息 |
|
In proc . 7th international workshop on algorithms and data structures wads 2001 , lecture notes in computer science 2125 , springer verlag , 2001 , pp . 165 - 179 隨后, shun - dong li等設計了點在圓及橢圓中的包含判定協議,并介紹了最近點對的求解問題。 |
|
International conference on theory and applications of satisfiability testing sat 05 , lncs 3569 , springer - verlag , st . andrews , uk , 2005 , pp . 408 - 414 因此如果能夠把模型檢測規約到qbf的滿足性的判定上,將是解決狀態爆炸問題一個非常有效的方法。 |
|
In eighth asia - pacific computer systems architecture conference acsac 2003 , fukushima , japan , springer , lncs 2823 , sept . 23 - 26 , 2003 , pp . 193 - 207 與處理器相比,他們完全缺乏允許向上兼容到其他體系結構系列和設備獨立編譯的程序設計模型。 |
|
Database expert systems applications , dexa 2001 , lecture notes in computer science 2113 , springer , munich , germany , 2001 , pp . 145 - 154 隨著數據庫系統功能越來越豐富, dbms也越來越復雜,數據庫自管理成為當前研究的熱點。 |
|
In proc . tools and algorithms for the analysis and construction of systems tacas 99 , lncs 1579 , springer - verlag , 1999 , pp . 193 - 207 本文中我們所做的工作主要是擴展有界模型檢測方法,使它能夠驗證一般化的系統屬性。 |
|
A survey of parametric scattered data fitting using triangular interpolants . curve and surface design , h . hagen ed . , springer - verlag , 1992 2在每條邊界曲線上指定相應的二次法向量,其與邊界曲線的切向量相垂直。 |
|
New york : springer - verlag , 1995 , pp . 1 - 45 . 12 kirkpatrick s , gellatt c d , vecchi m p . optimization by simulated annealing 其主要步驟為:首先,手工把輸入圖像粗略地劃分為三個區域:前景區域,背景區域和未知區域。 |
|
9 shamir a . identity based cryptosystems and signature schemes . lecture notes in computer science 196 , springer - verlag , 1984 , pp . 47 - 53 為了降低管理數字證書所帶來的開銷, shamir在1984年提出了基于身份的密碼學。 |