上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Programming languages Electronic computers Congresses)
該当件数:96件
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1140)
図書 <1000704435>
1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 / Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul
Berlin ; New York : Springer-Verlag , 1972. - (Lecture notes in economics and mathematical systems ; 75). - (Bericht (Gesellschaft für Informatik) ; Nr. 3)
図書 <1000450233>
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 7)
図書 <1000326898>
Analysis and verification of multiple-agent languages : selected papers : 5th LOMAPS Workshop, Stockholm, Sweden, June 1996 / Mads Dam (ed.)
Berlin ; New York : Springer , 1997. - (Lecture notes in computer science ; 1192)
図書 <1000660940>
Proceedings / IEEE Computer Society 1986 International Conference on Computer Languages, October 27-30, 1986, Miami, Florida ; sponsored by the IEEE Computer Society Computer Languages Technical Committee
Washington, D.C. ; Los Angeles, CA : IEEE Computer Society Press : Order from IEEE Computer Society , c1986
図書 <1000631532>
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca / edited by John H. Williams and David A. Fisher
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 54)
図書 <1000587012>
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2028)
図書 <1001259170>
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>
Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.], (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 724)
図書 <1000480908>
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>
International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 5)
図書 <1000324793>
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>
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science ; 300)
図書 <1000643010>
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>