城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Börger Egon)
該当件数:9件
Computation Theory and Logic / edited by Egon Börger
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 270)
電子ブック
Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 832)
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1165)
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 329)
CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
1st ed. 1989.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989). - (Lecture Notes in Computer Science. ISSN:16113349 ; 385)
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
1st ed. 1990.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990). - (Lecture Notes in Computer Science. ISSN:16113349 ; 440)
Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 533)
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
1st ed. 1992.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992). - (Lecture Notes in Computer Science. ISSN:16113349 ; 626)
Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 702)