上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Electronic digital computers Congresses)
該当件数:103件
Computer performance evaluation : modelling techniques and tools : 7th International Conference, Vienna, Austria, May 3-6, 1994 : proceedings / Günter Haring, Gabriele Kotsis, (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 794)
図書 <1000499485>
Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1786)
図書 <1001125882>
Computer performance evaluation : modelling techniques and tools : 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.)
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1469)
図書 <1000997374>
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>
Computer performance evaluation : modelling techniques and tools : 9th International Conference, St. Malo, France, June 3-6, 1997 ; proceedings / Raymond Marie ... [et al.], (eds)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1245)
図書 <1000708197>
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>
Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause, (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 977)
図書 <1000527696>
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>
Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.)
: New York,: Berlin. - New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 601)
図書 <1000447330>
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>