上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード：(標準分類: QA76.9.M35)
該当件数:33件
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.)
: gw. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 969)
図書 <1000699377>
Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings / Jiřį́ Sgall, Aleš Pultr, Petr Kolman (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2136)
図書 <1001307741>
Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings / Mogens Nielsen, Branislav Rovan (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1893)
図書 <1001180818>
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1754)
図書 <1001110823>
Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : proceedings / Igor Prívara, Branislav Rovan, Peter Ružička (Eds.)
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 841)
図書 <1000659051>
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science ; 176)
図書 <1000586745>
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 118)
図書 <1000586757>
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science. ; 45)
図書 <1000586786>
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembinski
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 88)
図書 <1000586807>
Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski
Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 64)
図書 <1000586922>
Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 53)
図書 <1000587013>
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 233)
図書 <1000587385>
Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings / Igor Prívara, Peter Ruz̆ic̆ka (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1295)
図書 <1000555157>
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / I.M. Havel, V. Koubek, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 629)
図書 <1000454945>
An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince
: hbk.,: pbk.. - 2nd ed. - Oxford : Clarendon Press. - New York : Oxford University Press , 1992. - (Oxford applied mathematics and computing science series)
図書 <1000466942>
Randomness and completeness in computational complexity / Dieter van Melkebeek
Berlin ; New York : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1950)
図書 <1001224320>
Discrete mathematics / Kenneth A. Ross, Charles R.B. Wright
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1992
図書 <1000445380>
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 613)
図書 <1000451149>
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 417)
図書 <1000366734>
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)
図書 <1000331274>
