同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 004/.33)
該当件数:5件
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 571)
図書 <BB00169201>
Handbook of real-time and embedded systems / edited by Insup Lee, Joseph Y-T. Leung, Sang H. Son
Boca Raton : Chapman & Hall/CRC , [2007], c2008. - (Chapman & Hall/CRC computer and information science series / series editor, Sartaj Sahni)
図書 <BB10251239>
DS-RT 2007 : proceedings : 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications : 22-24 October, 2007, Chania, Greece / edited by David J. Roberts, Georgios K. Theodoropoulos and Abdulmotaleb El Saddik ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing ... [et al.] ; IEEE Computer Society
Los Alamitos, Calif. : IEEE Computer Society Press , c2007
電子書籍 <OB00070528>
14th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications : DS-RT 2010 : proceedings : Fairfax, Virginia, USA, 17-20 October, 2010 / edited by Stephen John Turner ... [et al.] ; sponsored by IEEE Computer Society Technical Committee on Parallel Processing ... [et al.]
Los Alamitos, Calif. : IEEE Computer Society , c2010
電子書籍 <OB00824431>
DS-RT 2009 : proceedings : 13th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications : 25-28 October, 2009, Singapore / edited by Stephen John Turner ... [et al.] ... sponsored by IEEE Computer Society Technical Committee on Parallel Processing ... [et al.]
pbk.,pbk.. - Los Alamitos, Calif. : IEEE Computer Society Press , c2009
電子書籍 <OB00824545>