城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Electronic digital computers Congresses)
該当件数:27件
STOC '11 : proceedings of the 43rd ACM Symposium on Theory of Computing / sponsored by ACM SIGACT ; supported by Microsoft Research ... [et al.]
New York, N.Y. : Association for Computing Machinery , c2011. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 43rd (2011))
図書
STOC'15 : proceedings of the 2015 ACM Symposium on Theory of Computing / sponsored by ACM SIGACT ; supported by IBM Research & Microsoft Research
New York, N.Y. : Association for Computing Machinery , c2015. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 47th(2015))
Algorithms and complexity : new directions and recent results / edited by J.F. Traub
New York : Academic Press , c1976
Performance of computer systems : proceedings of the 4th International Symposium on Modelling and Performance Evaluation of Computer Systems, Vienna, Austria, February 6-8, 1979 / organized by the International Institute for Applied Systems Analysis ; edited by M. Arato, A. Butrimenko, E. Gelenbe.
sole distributors for the U.S.A. and Canada, Elsevier North-Holland : Amsterdam : North-Holland , 1979
Proceedings of {the} 23rd National Conference
Princeton, N. J. : Brandon/Systems Press , 1968. - (ACM publication P-68)
Fifth generation computer systems 1984 : proceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, Japan, November 6-9, 1984 / edited by Institute for New Generation Computer Technology.
Tokyo, Japan : Ohm , c1984.. - Amsterdam : North-Holland , c1984.
Algorithm specification / edited by Randall Rustin.
Englewood Cliffs, N.J. : Prentice-Hall , {1972}. - (Prentice-Hall series in automatic computation)
Conference record of seventh annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Albuquerque, New Mexico, May 5 - May 7, 1975 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the University of New
New York : Association for Computing Machinery , c1975.. - (Conference record of ... Annual ACM Symposium on Theory of Computing ; 7th)
Conference record of the eighth annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Hershey, Pennsylvania, May 3-5, 1976 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the Pennsylvania Sta
New York : ACM , c1976.. - (Conference record of ... Annual ACM Symposium on Theory of Computing ; 8th)
Conference record of the ninth annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Boulder, Colorado, May 2-4, 1977 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and the University of Col
New York : ACM , c1977.. - (Conference record of ... Annual ACM Symposium on Theory of Computing ; 9th)
Programming of future generation computers : Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, 6-8 October, 1986, Tokyo, Japan / Ed. by K. Fuchi, M. Nivat
Amsterdam : North-Holland , 1988
Topics in interval analysis / edited by E. Hansen.
Oxford, England : Clarendon Press , 1969
STOC '12 : proceedings of the 2012 ACM Symposium on Theory of Computing / sponsored by ACM SIGACT ; supported by Microsoft, Google, IBM, & NEC
v. 1,v. 2. - New York, N.Y. : Association for Computing Machinery , c2012. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 44th(2012))
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing / sponsored by ACM SIGACT ; supported by Google, IBM Research, Microsoft Research, & NSF
New York, N.Y. : Association for Computing Machinery , c2013. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 45th(2013))
STOC '10 : proceedings of the 2010 ACM International Symposium on Theory of Computing / sponsored by ACM SIGACT ; supported by Microsoft Research ... [et al.]
New York, N. Y. : Association for Computing Machinery, c2010. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 42nd(2010))
Proceedings of the 40th ACM International Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT ; additional support from Microsoft Research ... [et al.]
New York, N.Y. : Association for Computing Machinery , c2008. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 40th(2008))
Programming teaching techniques; proceedings / Edited by W. M. Turski.
Amsterdam : North-Holland , 1973. - New York : American Elsevier , 1973
Methodologies for computer system design : proceedings for the IFIP WG 10.1 Working Conference on Methodologies for Computer System Design, Lille, France, 15-17 September, 1983 / edited by Wolfgang K. Giloi and Bruce D. Shriver.
Amsterdam : North-Holland , 1985. - New York : Elsevier Science Pub. Co. , 1985
Proceedings of the thirtieth annual ACM symposium on theory of Computing, Dallas, Texas, May 23-26, 1998 / sponsored by the ACM special interest group for algorithms and computation theory.
New York, N.Y. : ACM , c1998. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 30th(1998))
Proceedings of the twenty-ninth Annual ACM Symposium on Theory of Computing, El Paso, Texas, May 4-6, 1997 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
New York, N.Y. : ACM , c1997. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 29th(1997))