上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Symposium on Mathematical Foundations of Computer Science)
該当件数:21件
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>
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, 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>
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 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>
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 foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings / Andrzej M. Borzyszkowski, Stefan Sokołowski, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 711)
図書 <1000479053>
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>
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 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>
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 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 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>