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


    图书馆

    馆藏地点

    主题

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

    著者

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

    语言种类

    新到时间

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

    可借

  1. 不可借 (17)
保存至书单:
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
1.
出版社: IEEE Computer Society Press ;   出版日期: c1988.
文献类型: 图书 , 索书号:
2.
出版社: IEEE Computer Society Press ;   出版日期: c1987.
文献类型: 图书 , 索书号:
3.
出版社: Computer Society Press,   出版日期: [1988]
文献类型: 图书 , 索书号:
4.
出版社: IEEE Computer Society Press,   出版日期: c1992.
文献类型: 图书 , 索书号:
5.
出版社: ACM,   出版日期: ©1981.
文献类型: 图书 , 索书号:
6.
出版社: IEEE Computer Society Press, ,   出版日期: 1982.
文献类型: 图书 , 索书号:
7.
出版社: IEEE Computer Society Press.   出版日期: 19984
文献类型: 图书 , 索书号:
8.
出版社: IEEE Computer Society Press.   出版日期: 1994.
文献类型: 图书 , 索书号:
9.
出版社: IEEE Computer Society Press.   出版日期: 1992.
文献类型: 图书 , 索书号:
10.
出版社: IEEE Computer Society Press,   出版日期: c1990.
文献类型: 图书 , 索书号:
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved null 关于 联系我们 帮助