城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Bjorner D)
該当件数:3件
Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / edited by D. Bjorner
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 86)
電子ブック
The Vienna Development Method: The Meta-Language / edited by D. Bjorner, C.B. Jones
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 61)
Towards a Formal Description of Ada / edited by D Bjorner, O.N. Oest
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 98)