※一部利用できない機能があります
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (30)
- Symposium on Foundations of Computer Science (22)
- ACM Special Interest Group in Programming Languages (21)
- IEEE Computer Society (13)
- IEEE Computer Society. Technical Committee on Parallel Processing (12)
- Symposium on Logic in Computer Science (12)
- SIGPLAN Conference on Programming Language Design and Implementation (8)
- 徳田, 雄洋(1951-) (8)
- 村井, 宗二(1931-) (8)
- ACM Symposium on Principles of Programming Languages (7)
- International Association for Pattern Recognition (6)
- International Conference on Pattern Recognition (6)
- International Parallel Processing Symposium (6)
- International Symposia on Information sciences (6)
- 情報処理振興事業協会 (6)
- ACM Special Interest Group for Automata and Computability Theory (5)
- IBM Japan. Academic & Scientific Programs (5)
- IBM Symposium on Mathematical Foundations of Computer Science (5)
- European Association for Theoretical Computer Science (4)
- IPDPS (4)
- もり・せ・いちる (4)
- 中島, 美弥 (4)
- 中部経済連合会 (4)
- 井上, 正治(1939-) (4)
- 町田, 彰一郎 (4)
- 高田, 彰(1932-) (4)
- ACM Special Interest Group on Algorithms and Computation Theory (3)
- Abramsky, Samson, 1953- (3)
- Bjørner, D. (Dines), 1937- (3)
- Gabbay, Dov M., 1945- (3)
- International Conference on Parallel Processing (3)
- Maibaum, Thomas S. E., 1947- (3)
- O'Reilly, Tim (3)
- Pennsylvania State University (3)
- 情報処理学会 (3)
- 産業技術会議 (3)
- 石田, 晴久(1936-) (3)
- ACM SIGARCH (2)
- ACM SIGPLAN International Conference on Functional Programming (2)
- ACM Sigsoft (2)
- ACM Special Interest Group in Algorithms and Computation (2)
- ATR Interpreting Telephony Research Laboratories (2)
- American Association for Artificial Intelligence (2)
- Association for Computing Machinery (2)
- Association for Symbolic Logic (2)
- Brown, Richard Henry (2)
- Bunke, Horst O. (2)
- Hromkovic̆, Juraj, 1958- (2)
- IEEE Computer Society Technical Committee on Computer Architecture (2)
- IEEE Computer Society Technical Committee on Distributed Processing (2)
- Kozen, Dexter, 1951- (2)
- Mehlhorn, Kurt, 1949- (2)
- National Conference on Artificial Intelligence (2)
- Nielson, Flemming, 1955- (2)
- Nielson, Hanne Riis, 1954- (2)
- Nye, Adrian (2)
- Prasanna Kumar, V. K. (2)
- SAS インスティチュート ジャパン (2)
- Vivien, Frederic (2)
- Wang, Patrick S.-P. (2)
- Winston, Patrick Henry (2)
- イメージ情報科学研究所 (2)
- 三重大学共通教育情報科学分科会 (2)
- 京都大学学術情報ネットワーク機構 (2)
- 京都学園大学総合研究所 (2)
- 大須賀, 節雄(1934-) (2)
- 学術情報センター (2)
- 宮崎, 秀規 (2)
- 山主, 富士彦(1942-) (2)
- 新エネルギー・産業技術総合開発機構 (2)
- 日本労働研究機構 (2)
- 藤田, 哲也 (2)
- 鈴木, 正彦(1945-) (2)
- ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (1)
- ACM Special Interest Group in Operating Systems (1)
- ACM Symposium on Operating Systems Principles (1)
- AT & T Bell Laboratories (1)
- Academy of Finland (1)
- Agrawal, D. P. (1)
- Al Agha, Khaldoun (1)
- Aleksy, Markus (1)
- Alsuwaiyel, M. H (1)
- American Society for Information Science (1)
- Anthony, Martin (1)
- Arge, Lars (1)
- Asia-Pacific Conference on IAT (1)
- Aspen Systems Corporation (1)
- Association of Symbolic Logic (1)
- Auler, Rafael (1)
- Baeten, J. C. M (1)
- Bassett, Lindsay (1)
- Beam, J. Emmett (1)
- Benoit, Anne (1)
- Berkeley, Edmund Callis (1)
- Biggs, Norman L. (1)
- Blahut, Richard E. (1)
- Bloem, Roderick (1)
- Blondel, Vincent (1)
- Bobrow, Daniel Gureasko (1)
- Boca, Paul (1)
- no value (5)