上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 004/.01/51)
該当件数:14件
Proceedings / Symposium on Computer Arithmetic
1987- - 1997. - New York, N.Y. : IEEE , 1978-
図書 <1000684372>
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)
図書 <1000542108>
Randomness and completeness in computational complexity / Dieter van Melkebeek
Berlin ; New York : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1950)
図書 <1001224320>
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)
図書 <1001038027>
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)
図書 <1001064022>
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>
Mathematical structures for computer science / Judith L. Gersting
3rd ed. - New York : Computer Science Press , c1993
図書 <1000466977>
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>
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed
Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 452)
図書 <1000648307>
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / P. Gianni, ed
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 358)
図書 <1000593122>
Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / A. Kreczmar, G. Mirkowska (eds.)
Berlin ; New York : Springer-Verlag , 1989. - (Lecture notes in computer science ; 379)
図書 <1000593291>
EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings / J.H. Davenport (ed.)
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 378)
図書 <1000593293>
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, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 520)
図書 <1000429163>