富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.13/1)
該当件数:8件
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
: Berlin,: New York. - Berlin : Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 802)
図書
String-rewriting systems / Ronald V. Book, Friedrich Otto
:us,:gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
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)
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 632)
Hyperedge replacement : grammars and languages / A. Habel
: gw,: us. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 643)
Tree automata and languages / edited by Maurice Nivat, Andreas Podelski
Amsterdam : North-Holland , 1992. - (Studies in computer science and artificial intelligence ; 10)
Theoretical studies in computer science / edited by Jeffrey D. Ullman
Boston : Academic Press , c1992
Logic and structured design for computer programmers / Harold J. Rood
2nd ed.. - Boston : PWS-KENT Pub. Co., c1992