小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Electronic digital computers Congresses)
該当件数:39件
Proceedings of the seventh annual ACM-SIAM Symposium on Discrete Algorithms
New York : Association for Computing Machinery. - Philadelphia : Society for Industrial and Applied Mathematics , c1996
図書
Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 / edited by Veronica Dahl and Patrick Saint-Dizier
U.S.. - Amsterdam ; New York : North-Holand. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985. - (Natural language understanding and logic programming ; [1])
Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E. J. Neuhold and G. Chroust
Amsterdam : North-Holland , 1985
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)
Natural language understanding and logic programming
Amsterdam ; Tokyo : North-Holand. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985-
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)
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)
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 180)
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 147)
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)
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)
Performance '81 : proceedings of the 8th International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Amsterdam, 4-6 November 1981 / edited by F.J. Kylstra ; sponsored by IFIP Working Group 7.3 on Computer System Modelling
Amsterdam ; New York : North-Holland Pub. Co.. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , c1981
Computer hardware description languages and their applications : proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and Their Applications, Kaiserslautern, F.R.G., 7-9 September 1981 / edited by M.
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1981
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)
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)
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)
Mathematical foundations of computer science 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 88)
Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 / edited by Hans-Jochen Schneider
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1979
Euro IFIP 79 : proceedings of the European Conference on Applied Information Technology of the International Federation for Information Processing, London, 25-28 September, 1979 / edited by P. A. Samet
Amsterdam ; New York : North-Holland Pub. Co.. - New York, N.Y. : sole distributors for the USA and Canada, Elsevier North-Holland , 1979