小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA267.5.S4)
該当件数:12件
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)
図書
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)
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 28)
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář
: gw,: us. - Berlin : New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 32)
Automata, languages, and machines / Samuel Eilenberg
v. A,v. B. - New York : Academic Press , 1974-1976. - (Pure and applied mathematics (Academic Press) ; 59)
Currents in the theory of computing / edited by Alfred V. Aho ; contributing authors, Ronald V. Book ... [et al.]
Englewood Cliffs, N.J. : Prentice-Hall , c1973. - (Prentice-Hall series in automatic computation)
Finite automata; behavior and synthesis / [by] B. A. Trakhtenbrot and Ya. M. Barzdinʹ. Translated from the Russian by D. Louvish. English translation edited by E. Shamir and L. H. Landweber
Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier , 1973. - (Fundamental studies in computer science ; v. 1)
Theory of automata / Arto Salomaa
Oxford ; New York : Pergamon Press , 1969. - (International series of monographs on pure and applied mathematics ; v.100)
Algèbre de Boole et machines logiques / Sous la direction de J. Kuntzmann [et] P. Naslin
Paris : Dunod , 1967 [c1966]. - (Bibliothèque de l'automaticien ; 23)
Sequential machines and automata theory / [by] Taylor L. Booth
New York : Wiley , c1967
The mathematical theory of context free languages / Seymour Ginsburg
New York : McGraw-Hill , c1966