在您的搜寻 主题建议
Showing 1 - 20 results of 59 for search '', 查询时间: 0.02s Refine Results
  1. 1
    Automata, languages and programming.
    会议录
    出版 1973
    加到收藏夹
    Saved in:
  2. 2
    A calculus of total correctness for communicating processes /
    图书
    加到收藏夹
    Saved in:
  3. 3
    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
    会议录 图书
    出版 1975
    加到收藏夹
    Saved in:
  4. 4
    Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
    会议录 图书
    出版 1995
    加到收藏夹
    Saved in:
  5. 5
    Automatic syntactic analysis,
    图书
    加到收藏夹
    Saved in:
  6. 6
    The mathematical theory of context free languages.
    图书
    由 Ginsburg, Seymour, 1927-
    出版 1966
    加到收藏夹
    Saved in:
  7. 7
    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 /
    会议录 图书
    出版 1979
    加到收藏夹
    Saved in:
  8. 8
    The mathematical theory of L systems /
    图书
    由 Rozenberg, Grzegorz, 1934-
    出版 1980
    加到收藏夹
    Saved in:
  9. 9
    Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
    图书
    出版 1993
    加到收藏夹
    Saved in:
  10. 10
    Formal languages /
    图书
    由 Salomaa, Arto
    出版 1973
    加到收藏夹
    Saved in:
  11. 11
    Picture languages : formal models for picture recognition /
    图书
    由 Rosenfeld, Azriel, 1931-
    出版 1979
    加到收藏夹
    Saved in:
  12. 12
    Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 /
    图书
    出版 1977
    加到收藏夹
    Saved in:
  13. 13
    Languages and machines : an introduction to the theory of computer science /
    图书
    由 Sudkamp, Thomas A.
    出版 1988
    加到收藏夹
    Saved in:
  14. 14
    Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
    图书
    出版 1976
    加到收藏夹
    Saved in:
  15. 15
    Feasible computations and provable complexity properties /
    图书
    由 Hartmanis, Juris
    出版 1978
    加到收藏夹
    Saved in:
  16. 16
    Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /
    会议录 图书
    出版 1978
    加到收藏夹
    Saved in:
  17. 17
    A basis for theoretical computer science /
    图书
    由 Arbib, Michael A.
    出版 1981
    加到收藏夹
    Saved in:
  18. 18
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    会议录 图书
    出版 1974
    加到收藏夹
    Saved in:
  19. 19
    Automata, languages, and programming : third international colloquium at the University of Edinburgh /
    会议录 图书
    出版 1976
    加到收藏夹
    Saved in:
  20. 20
    Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 /
    会议录 图书
    出版 1983
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索