東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computer software Development Mathematics Congresses)
該当件数:4件
Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1)
図書
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1827)
Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1589)
Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1376)