城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Thatcher James)
該当件数:2件
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 185)
電子ブック
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 186)