城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Vytopil Jan)
該当件数:2件
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / edited by Jan Vytopil
1st ed. 1991.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991. - (Lecture Notes in Computer Science. ISSN:16113349 ; 571)
電子ブック
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings / edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
1st ed. 1994.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994. - (Lecture Notes in Computer Science. ISSN:16113349 ; 863)