富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA267)
該当件数:13件
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)
図書
String-rewriting systems / Ronald V. Book, Friedrich Otto
:us,:gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
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)
Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
: gw,: us. - Berlin : New York ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 656)
Petri nets and Grafcet : tools for modelling discrete event systems / René David and Hassane Alla
New York : Prentice Hall , 1992
Theory of computation : formal languages, automata, and complexity / J. Glenn Brookshear
Redwood City, Calif. : Tokyo : Benjamin/Cummings Pub. Co. , c1989. - (Benjamin/Cummings series in computer science)
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)
Theories of computational complexity / Cristian Calude
Amsterdam : Tokyo : North-Holland , 1988. - (Annals of discrete mathematics ; 35)
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró
v. 1 : gw - v. 2 : us. - Berlin : Tokyo : Springer-Verlag , c1988-c1. - (EATCS monographs on theoretical computer science ; v. 11, 22)
Nonsequential processes : a Petri net view / Eike Best, César Fernández C
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1988. - (EATCS monographs on theoretical computer science ; v. 13)
Confluent string rewriting / Matthias Jantzen
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1988. - (EATCS monographs on theoretical computer science ; v. 14)
Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings / L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 278)
A basis for theoretical computer science / Michael A. Arbib, A.J. Kfoury, Robert N. Moll
New York : Springer-Verlag , c1981. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)