富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Formal languages Congresses)
該当件数:5件
Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 820)
図書
Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 700)
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 317)
Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings / Marisa Venturini Zilli (ed.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 280)
Symposium on semantics of algorithmic languages : [papers] / edited by E. Engeler
: Germany,: U.S.. - Berlin : New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 188)