名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: sponsored by the IEEE Computer Societys Technical Committee on Mathematical Foundations of Computing. , 检索到: 13 条结果, 检索时间: 0.421 秒 , 排序选项: 排序方式: 隐藏分类导航


    图书馆

    馆藏地点

    主题

  1. congresses (13)
  2. computational complexity (8)
  3. computer programming (8)
  4. machine theory (7)
  5. congrès (6)
  6. electronic data processing (6)
  7. programmation (informatique) (5)
  8. théorie des automates (4)
  9. complexité de calcul (informatique) (3)
  10. switching theory (3)
  11. conferences (2)
  12. logic, symbolic and mathematical (2)
  13. théorie de la commutation (2)
  14. computer programs (1)
  15. computer science (1)
  16. correctness (1)
  17. mathematics (1)
  18. ordinateurs (1)
  19. programmation (1)

    著者

  1. ieee computer society (13)
  2. symposium on foundations of computer science (6)
  3. acm special interest group for automata and computability theory (4)
  4. acm symposium on theory of computing (4)
  5. sponsored by the ieee computer society's technical committee on mathematical foundations of computing (3)
  6. symposium on logic in computer science (2)
  7. [sponsored by the ieee computer society's technical committee on mathematical foundations of computing and the university of oregon in cooperation with acm sigact] (1)
  8. association for computing machinery (1)
  9. association for symbolic logic (1)
  10. barwise, jon (1)
  11. chandra, ashok k (1)
  12. clarkson college of technology (1)
  13. european association for theoretical computer science (1)
  14. institute of electrical and electronics engineers (1)
  15. pennsylvania state university (1)
  16. 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 mexico (1)
  17. 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 department of electrical engineering and computer science, university of wisconsin, milwaukee, wisconsin (1)
  18. 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 colorado (1)
  19. 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 state university (1)
  20. sponsored by the ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, [and] european association for theoretical computer science (1)

    出版日期

    文献类型

  1. 图书 (13)

    语言种类

    新到时间

  1. 过去7天 (0)
  2. 过去30天 (0)
  3. 过去60天 (0)
  4. 过去90天 (0)
  5. 过去180天 (0)
  6. 超过180天 (0)

    可借

  1. 不可借 (13)
保存至书单:
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
1.
出版社: IEEE Computer Society Press,   出版日期: c1990.
文献类型: 图书 , 索书号:
2.
出版社: IEEE Computer Society Press,   出版日期: c1989.
文献类型: 图书 , 索书号:
3.
出版社: IEEE Computer Society Press,   出版日期: c1988.
文献类型: 图书 , 索书号:
4.
出版社: IEEE,   出版日期: 1980.
文献类型: 图书 , 索书号:
5.
出版社: IEEE,   出版日期: 1981.
文献类型: 图书 , 索书号:
6.
出版社: IEEE Computer Society Press ;   出版日期: c1989.
文献类型: 图书 , 索书号:
7.
出版社: IEEE,   出版日期: 1979.
文献类型: 图书 , 索书号:
8.
出版社: IEEE Computer Society Press,   出版日期: c1986.
文献类型: 图书 , 索书号:
9.
出版社: ACM,   出版日期: 1977.
文献类型: 图书 , 索书号:
10.
出版社: Association for Computing Machinery,   出版日期: ©1975.
文献类型: 图书 , 索书号:
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved 关于 联系我们 帮助