東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Sequential machine theory Congresses)
該当件数:7件
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / J.E. Pin (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 386)
図書
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
: gw,: us. - Berlin : Springer-Verlag , 1979. - (Lecture notes in computer science ; 71)
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)
Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 115)
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář
Berlin : New York , 1975. - : Springer-Verlag. - (Lecture notes in computer science ; 32)
Theory of machines and computations : proceedings / edited by Zvi Kohavi and Azaria Paz
New York : Academic Pr. , 1971
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in computer science ; 28)