東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Electronic digital computers Congresses)
該当件数:97件
Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 107)
図書
Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
: gw,: us. - Berlin : Springer-Verlag , 1982. - (Lecture notes in computer science ; 131)
International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 83)
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / herausgegeben im Auftrag der GI von W. Händler und P.P. Spies
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 13)
Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 86)
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 164)
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 167)
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)
Computer performance evaluation : modelling techniques and tools : 9th International Conference, St. Malo, France, June 3-6, 1997 : proceedings / Raymond Marie ... [et al.] (eds.)
: pbk. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1245)
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 300)
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979 / edited by Jeffrey M. Tobias
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 79)
Language hierarchies and interfaces : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 46)
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
: pbk. - Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1292)
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
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 75)
Database machines : Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 368)
Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 338)
Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings / Kesav V. Nori (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 287)
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt ... [et al.] (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 389)
Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 375)
Visualization in programming : 5th Interdisciplinary Workshop in Informatics and Psychology, Schärding, Austria, May 20-23, 1986 / P. Gorny, M.J. Tauber (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 282)
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
: gw,: us. - Berlin ; New York ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 244)
Dependable computing--EDCC-3 : third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings / Jan Hlavička, Erik Maehle, András Pataricza (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1667)
Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 64)
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Goto ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 147)
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 256)
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 202)
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
: gw,: us. - Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 239)
ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 213)
Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 178)
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 355)
ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 44)
Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings / Erick Cantú-Paz ... [et al.] (eds.)
pt. 1,pt. 2. - Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2723-2724)
RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 220)
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 : Springer , c1998. - New York. - (Lecture notes in computer science ; 1469)
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 582)
Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and : Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 1995 : proceedings / Heinz Beilner, Falko Bause, (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 977)
Computer performance evaluation : modelling techniques and tools : 7th International Conference, Vienna, Austria, May 3-6, 1994 : proceedings / Günter Haring, Gabriele Kotsis, (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 794)
Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho
Dordrecht, Holland : D. Reidel Pub. Co. , c1983. - (NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 95)
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 : Springer-Verlag , c1992. - (Lecture notes in computer science ; 601)
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in computer science ; 432)
Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1503)
Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, (ed.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1058)
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)
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)
Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1381)
Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1302)
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, ; Pieter Hartel, Herbert Kuchen, eds
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1292)
Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 983)
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 864)
Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 788)