上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 001.64/2)
該当件数:17件
Computability theory, semantics, and logic programming / Melvin Fitting
New York : Oxford University Press. - Oxford : Clarendon Press , 1987. - (Oxford logic guides ; 13)
図書 <1000300054>
Image analysis applications and computer graphics : third international computer science conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ...[et al.]
: gw. - Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1024)
図書 <1000531715>
The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.]
v. 1,v. 2. - Berlin ; New York : Springer-Verlag , c1985-c1987. - (Lecture notes in computer science. ; 183, etc.)
図書 <1000634397>
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 83)
図書 <1000586726>
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.]
Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science. ; 147)
図書 <1000586728>
Coroutines : a programming methodology, a language design, and an implementation / Christopher D. Marlin
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 95)
図書 <1000586747>
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 107)
図書 <1000586756>
Verifying concurrent processes using temporal logic / Brent T. Hailpern
Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science. ; 129)
図書 <1000586768>
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner
Berlin : New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 86)
図書 <1000586789>
A relational theory of computing / John G. Sanderson
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 82)
図書 <1000586805>
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu
Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science. ; 75)
図書 <1000586806>
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa
Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science. ; 160)
図書 <1000587004>
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 167)
図書 <1000587006>
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 193)
図書 <1000587048>
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 164)
図書 <1000626491>
Principles of concurrent programming / M. Ben-Ari
Englewood Cliffs, N.J. : Prentice-Hall International , c1982
図書 <1000605004>
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 181)
図書 <1000586752>