上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 001.64)
該当件数:24件
Modern cellular automata : theory and applications / Kendall Preston, Jr. and Michael J.B. Duff
New York : Plenum Press , c1984. - (Advanced applications in pattern recognition)
図書 <1001984470>
Mensch-Maschine-Interaktion in natürlicher Sprache : Evaluierungsstudien zu praxisorientierten Frage-Antwort-Systemen und ihre Methodik / Jürgen Krause
Tübingen : M. Niemeyer , 1982. - (Sprache und Information ; Bd. 1)
図書 <1001086835>
Computer basics for librarians and information scientists / Howard Fosdick ; with a foreword by F. Wilfrid Lancaster
Arlington, Va. : Information Resources Press , 1981
図書 <1001013537>
New information technology / editor, Alan Burns
pbk. : lib. bdg.,pbk. : student ed.,pbk. : Halsted Press. - Chichester, West Sussex : E. Horwood. - New York : Halsted Press , 1984. - (Ellis Horwood series in computers and their applications ; 26)
図書 <1000344094>
VLSI and Computer Peripherals : VLSI and microelectronic applications in intelligebt peripherals and their interconnection networks, Hamburg, May 8-18, 1989 : proceedings / edited by Walter E. Proebster and Hans Reiner ; sponsored by the Institute of Electrical and Electronics Engineers ... [et al.]
paper,case,microfiche. - Washington, D.C. : IEEE Computer Society Press. - Los Angeles, CA : Order from IEEE Computer Society , c1989
図書 <1000356400>
Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Japan, October 6-9, 1980, Melbourne, Australia, October 14-17, 1980 / edited by Simon Lavington
Participants ed.. - Amsterdam : North-Holland Pub. Co. , 1980. - (IFIP congress series ; v. 8)
図書 <1000323487>
The cognitive computer : on language, learning, and artificial intelligence / Roger C. Schank with Peter G. Childers
Reading, Mass. : Addison-Wesley Pub. Co. , c1984
図書 <1000606135>
A survey of verification techniques for parallel programs / Howard Barringer
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 191)
図書 <1000586725>
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn
Berlin ; New York : Springer-Verlag , 1985. - (Lecture notes in computer science. ; 182)
図書 <1000586744>
Microcomputer system design : an advanced course / M.J. Flynn ... [et al.] ; edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
Berlin ; New York : Springer-Verlag , 1984
図書 <1000586746>
CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981 : proceedings / edited by Wolfgang Händler
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 111)
図書 <1000586749>
Directions in human factors for interactive systems / Henry Ledgard, Andrew Singer, John Whiteside
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 103)
図書 <1000586755>
The concurrency control problem for database systems / Marco Antonio Casanova
Berlin ; New York : Springer , 1981. - (Lecture notes in computer science. ; 116)
図書 <1000586758>
Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert
Berlin ; New York : Springer-Verlag , c1981. - (Lecture notes in computer science. ; 105)
図書 <1000586775>
Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 / edited by Jeffrey M. Tobias
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 79)
図書 <1000586795>
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>
Alternating sequential/parallel processing / Y. Wallach
Berlin ; New York : Springer , 1982. - (Lecture notes in computer science. ; 127)
図書 <1000586932>
The adaptation of virtual man-computer interfaces to user requirements in dialogs / Waltraud Dehning, Heidrun Essig, Susanne Maass
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 110)
図書 <1000586972>
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>
The design of dynamic data structures / Mark H. Overmars
Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science. ; 156)
図書 <1000587026>