上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer systems Congresses)
該当件数:199件
High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1987 : proceedings / editors, D. Gawlick, M. Haynie, A. Reuter
Berlin ; New York : Springer-Verlag , 1989. - (Lecture notes in computer science. ; 359)
図書 <1000591725>
Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers / Chris Johnson (ed.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2220)
図書 <1001341821>
Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Paternò (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 1946)
図書 <1001238576>
Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada / edited by Bernd Kleinjohann ... [et al.]
Boston : Kluwer Academic Publishers , c2002
図書 <1001394337>
Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 / edited by A. Blaser And C. Hackl
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 49)
図書 <1000586801>
Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983 / edited by A. Blaser and M. Zoeppritz
Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science. ; 150)
図書 <1000586923>
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>
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1755)
図書 <1001125897>
Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1631)
図書 <1001063846>
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2244)
図書 <1001353344>
Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 656)
図書 <1000468065>
Grid computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001 : proceedings / Craig A. Lee (ed.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2242)
図書 <1001347910>
Grid computing - GRID 2000 : first IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings / Rajkumar Buyya, Mark Baker (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1971)
図書 <1001217966>
Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994 : proceedings / Zbigniew W. Raś, Maria Zemankova, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 869 . Lecture notes in artificial intelligence)
図書 <1000505950>
Advances in case-based reasoning : 4th European Workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings / Barry Smyth, Pádraig Cunningham (eds.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1488. Lecture notes in artificial intelligence)
図書 <1000997429>
XPS-99 : Knowledge-based systems : survey and future directions : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / Frank Puppe (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1570 . Lecture notes in artificial intelligence)
図書 <0219003420>
Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 : proceedings / S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 444 . Lecture notes in artificial intelligence)
図書 <1000385484>
Concepts and characteristics of knowledge-based systems : selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, 1987 / edited by Mario Tokoro, Yuichiro Anzai, Akinori Yonezawa
Amsterdam, Netherlands ; Tokyo : North-Holland. - New York, N.Y., U.S.A. : Distributors for the U. S. and Canada, Elsevier Science Pub. Co. , 1989
図書 <1000365044>
Proceedings, IEEE Conference on Managing Expert System Programs and Projects, Holiday Inn, Bethesda, Maryland, September 10-12, 1990 / editors, Jay Liebowitz, Jerald Feinstein, and Randall Shumaker ; sponsored by IEEE Computer Society Technical Committee on Expert Systems Applications ; co-sponsored by EXSYS Corporation ... [et al.]
Los Alamitos, Calif. : IEEE Computer Society Press , c1990
図書 <1000655245>
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.)
Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 516)
図書 <1000655809>