富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.7)
該当件数:7件
Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers / Sandhya Dwarkadas (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1915)
図書
Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
Berlin : Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1753)
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)
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury, with contributions by James Pustejovsky
: us,: gw. - New York : Tokyo : Springer-Verlag , c1988. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)
Natural language understanding / James Allen
Menlo Park, Calif. : Tokyo : Benjamin/Cummings Pub. Co. , c1987. - (Benjamin/Cummings series in computer science)
Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib
: us,: gw. - New York : Tokyo : Springer-Verlag , c1986. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)
Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 / edited by Veronica Dahl and Patrick Saint-Dizier
Amsterdam : Tokyo : North-Holland. - New York, N.Y., U.S.A. : Tokyo : North-Holland. - (Natural language understanding and logic programming ; 2)