城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Formal languages Congresses)
該当件数:3件
Theory of machines and computations / edited by Zvi Kohavi and Azaria Paz
New York : Academic Press , 1971
図書
Symposium on semantics of algorithmic languages / edited by E. Engeler.
188. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 188)
Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / edited by Hans-Jochen Schneider.
Amsterdam : North-Holland , 1979. - New York : Elsevier North-Holland , 1979