上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Electronic digital computers Programming Congresses)
該当件数:61件
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1145)
図書 <1000704437>
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 582)
図書 <1000442326>
Formal development of programs and proofs / edited by Edsger W. Dijkstra
Reading, Mass. : Addison-Wesley , c1990. - (The UT Year of Programming series)
図書 <1000350835>
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>
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>
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>
Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science. ; 131)
図書 <1000587000>
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>
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / Hrsg. im Auftrag der GI von W. Händler und P. P. Spies
Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science. ; 13)
図書 <1000587124>
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 244)
図書 <1000587419>
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>
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
gw,us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 432)
図書 <1000371771>
Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings / Donald Sanella, ed
: us,: gw. - Berlin ; New York : Springer-Verlag , 1994. - (Lecture notes in computer science ; 788)
図書 <1000495782>
Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France / sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
: soft.,: case.,: micro.. - Los Alamitos, Calif. : IEEE Computer Society Press , c1994
図書 <1000499566>
Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Computer Languages ; in cooperation with ACM SIGPLAN
: softbound,: casebound,: microfiche. - Los Alamitos, Calif. : IEEE Computer Society Press , c1998
図書 <1001053712>
Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.)
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1503)
図書 <1000997419>
Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1490)
図書 <1000997445>
1990 International Conference on Computer Languages : proceedings, March 12-15, 1990, New Orleans, Louisiana / sponsored by The Computer Society, Computer Languages Technical Committee
: case,: pbk,: microfiche. - Los Alamitos, Calif. : IEEE Computer Society Press , c1990
図書 <1000391488>
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.)
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 864)
図書 <1000659066>
Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 983)
図書 <1000527820>