東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 004/.01/51)
該当件数:22件
Randomness and completeness in computational complexity / Dieter van Melkebeek
Berlin : Springer-Verlag , c2000. - New York. - (Lecture notes in computer science ; 1950)
図書
Mathematical logic for computer science / Lu Zhongwan
2nd ed. - Singapore : World Scientific , c1998. - (Series in computer science ; v. 47)
Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings / Luboš Brim, Jozef Gruska, Jiří Zlatuška (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1450)
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1113)
Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings / Igor Prívara, Peter Ružička (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1295)
Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS '99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (Eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1672)
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 629)
An introduction to discrete mathematics and formal system specification / D. C. Ince
Oxford [Oxfordshire] : Clarendon , 1988. - (Oxford applied mathematics and computing science series)
Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici
New York : Springer-Verlag , c1991. - Tokyo. - (Texts and monographs in computer science)
Equations, models, and programs : a mathematical introduction to computer science / Thomas J. Myers
Englewood Cliffs, N.J. : Prentice Hall , c1988. - (Prentice-Hall software series)
Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek (eds.)
Berlin : Springer-Verlag , c1995. - Tokyo. - (Lecture notes in computer science ; 969)
Topology and category theory in computer science / edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter
Oxford : Clarendon Press , c1991. - New York : Oxford University Press
Singapore : World Scientific , c1989. - Teaneck, N.J.
The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing organized by the Institute of Mathematics and its Applications and held at Brighton Polytechnic in April : 1989 / [edited by] J.H. Johnson, M.J. Loomes
Oxford : Clarendon Press , 1991. - (The Institute of Mathematics and its Applications conference series ; New ser., 30)
Improving floating-point programming / edited by Peter J. L. Wallis
Chichester, England : Wiley , c1990. - New York
EUROCAL '87 : European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 378)
Mathematical foundations of computer science 1989 : MFCS '89 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 379)
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)
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 358)
Discrete mathematics for new technology / Rowan Garnier, John Taylor
: hbk,: pbk. - Bristol ; Philadelphia : A. Hilger , c1992
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)
Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 520)