ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #Olderog E.-R.)
該当件数:3件
Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.
Cambridge : Cambridge University Press , 1991.. - New York. - (Cambridge tracts in theoretical computer science. ; 23)
図書 [BA13103586]
Correct system design : recent insights and advances / Ernst Rüdiger Olderog, Bernhard Steffen (eds.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1710)
図書 [BA43522588]
Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 proceedings / Werner Damm, Ernst-Rüdiger Olderog (eds.).
Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2469)
図書 [BA58768617]
