上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.751)
該当件数:39件
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2030)
図書 <1001263442>
Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg (eds.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2303)
図書 <1001366248>
Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2215)
図書 <1001338989>
SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1725)
図書 <1001100186>
Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1530)
図書 <1001036085>
Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1784)
図書 <1001125879>
FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings / Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2245)
図書 <1001347906>
SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24 - December 1, 2001 : proceedings / Leszek Pacholski, Peter Ružička (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2234)
図書 <1001347911>
FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings / Sanjiv Kapoor, Sanjiva Prasad (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1974)
図書 <1001217974>
SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings / Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1963)
図書 <1001213864>
Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings / C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1738)
図書 <1001100230>
Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings / R.K. Shyamasundar (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 761)
図書 <1000488343>
Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 789)
図書 <1000495786>
SOFSEM '98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998 : proceedings / Branislav Rovan (ed.)
Berlin ; Tokyo : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1521)
図書 <1001036079>
Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 : proceedings / Oscar Nierstrasz, Michel Lemoine (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1687)
図書 <1001067123>
Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Wolfgang Thomas (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1578)
図書 <0219004090>
Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan (ed.)
: Germany,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 405)
図書 <1000357075>
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 472)
図書 <1000407345>
Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 880)
図書 <1000509336>
Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.)
Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1026)
図書 <1000531795>