東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Electronic data processing Mathematics)
該当件数:24件
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi
: pbk. - New York : Wiley , c1987
図書
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)
SIAM journal on computing / Society for Industrial and Applied Mathematics
[vol. 1, no. 1](Mar. 1972)-. - Philadelphia : Society for Industrial and Applied Mathematics
雑誌
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)
Mathematics for large scale computing / edited by J. C. Díaz
New York : M. Dekker , c1989. - (Lecture notes in pure and applied mathematics ; v. 120)
Discrete mathematics / Norman L. Biggs
Rev. ed. - Oxford : Clarendon , 1989. - New York : Oxford Univ. Pr.
Equations, models, and programs : a mathematical introduction to computer science / Thomas J. Myers
Englewood Cliffs, N.J. : Prentice Hall , c1988. - (Prentice-Hall software series)
Discrete mathematics / by Norman L. Biggs
Oxford [Oxfordshire] : Clarendon Pr. , 1985. - New York : Oxford Univ. Pr.
Category theory for computing science / Michael Barr and Charles Wells
2nd ed. - London : Prentice Hall , c1995. - New York. - (Prentice Hall international series in computer science)
An introduction to discrete mathematics and formal system specification / D. C. Ince
Oxford [Oxfordshire] : Clarendon , 1988. - (Oxford applied mathematics and computing science series)
Foundations of discrete mathematics / K. D. Joshi
New York : Wiley , 1989
Mathematical structures for computer science / Judith L. Gersting
2nd ed. - New York : W. H. Freeman , c1987. - (A series of books in the mathematical sciences)
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)
Mathematical logic for computer science / Lu Zhongwan
2nd ed. - Singapore : World Scientific , c1998. - (Series in computer science ; v. 47)
Singapore : World Scientific , c1989. - Teaneck, N.J.
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 .)
Complex models and computational methods in statistics / Matteo Grigoletto, Francesco Lisi, Sonia Petrone
Milan : Springer. - Heidelberg : Physica-Verlag , c2013. - (Contributions to statistics)
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)