城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Bjørner Dines)
該当件数:5件
Baltic Computer Science : Selected Papers / edited by Janis Barzdins, Dines Bjørner
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 502)
電子ブック
Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1181)
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / edited by Dines Bjørner, C.A.R. Hoare, Hans Langmaack
1st ed. 1990.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990). - (Lecture Notes in Computer Science. ISSN:16113349 ; 428)
Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 735)
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / edited by Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 252)