上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer science Congresses)
該当件数:425件
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / Rüdiger Reischuk, Michel Morvan (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1200)
図書 <1000549871>
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / Ernst W. Mayr, Claude Puech (eds.)
Berlin ; New York ; Tokyo : Springer-Verlag , 1995. - (Lecture notes in computer science ; 900)
図書 <1000514781>
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedings / P. Enjalbert, A. Finkel, K.W. Wagner (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 665)
図書 <1000470395>
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings / C. Choffrut, M. Jantzen, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 480)
図書 <1000412419>
Fundamentals of computation theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2138)
図書 <1001304402>
STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2010)
図書 <1001241548>
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings / Jifeng He, Masahiko Sato (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1961)
図書 <1001224313>
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1872)
図書 <1001180851>
Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2202)
図書 <1001337022>
STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002 : proceedings / Helmut Alt, Afonso Ferreira (eds.)
Berlin ; Tokyo : Springer , c2002. - (Lecture notes in computer science ; 2285)
図書 <1001362529>
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26 1994 : proceedings / P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 775)
図書 <1000491956>
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / Horst Reichel, Sophie Tison (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1770)
図書 <1001126383>
STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings / Christoph Meinel, Sophie Tison (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1563)
図書 <0219003440>
New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 555)
図書 <1000436720>
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / A. Finkel, M. Jantzen (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 577)
図書 <1000440263>
Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings / J. Dassow, J. Kelemen (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 464)
図書 <1000400671>
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings / C. Choffrut, T. Lengauer (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 415)
図書 <1000364596>
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk, (eds.)
alk. paper. - Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1046)
図書 <1000536137>
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds.)
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1373)
図書 <1000558613>
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1181)
図書 <1000548295>