東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Electronic data processing Mathematics Congresses)
該当件数:11件
Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / M.P. Chytil, L. Janiga, V. Koubek (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 324)
図書
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 176)
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 364)
Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 375)
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 298)
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors
Providence, R.I. : American Mathematical Society , c1989. - (Contemporary mathematics ; v. 92)
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)
Enhancing university mathematics : proceedings of the First KAIST International Symposium on Teaching / Ki Hyoung Ko, Deane Arganbright, editors
Providence, RI : American Mathematical Society , c2007. - (Issues in mathematics education ; v. 14)
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski and Jan van Leeuwen
Amsterdam : North-Holland , 1985. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - New York. - (Annals of discrete mathematics ; 24 .). - (North-Holland mathematics studies ; 4 .)
Algorithms and complexity : new directions and recent results / edited by J. F. Traub
New York : Academic Pr. , 1976
Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers / Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2179)