核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA267)
該当件数:4件
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
2nd. ed. - Boston : Academic Press , c1994. - (Computer science and scientific computing)
図書
Machines, languages, and computation / Peter J. Denning, Jack B. Dennis, Joseph E. Qualitz
Englewood Cliffs, N.J. : Prentice-Hall , c1978
The universal Turing machine : a half-century survey / Rolf Herken (ed.)
2nd ed. - Wien : Springer-Verlag , c1995. - (Computerkultur ; v. 2)
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 52)