関連のトピックス ...
検索結果 1 - 20 結果 / 59 検索語 '', 処理時間: 0.02秒 結果の絞り込み
  1. 1
    Automata, languages and programming.
    会議録
    出版事項 1973
    お気に入りに追加
    保存先:
  2. 2
    A calculus of total correctness for communicating processes /
    図書
    著者: Hoare, C. A. R. (Charles Antony Richard)
    出版事項 1981
    お気に入りに追加
    保存先:
  3. 3
    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
    会議録 図書
    出版事項 1975
    お気に入りに追加
    保存先:
  4. 4
    Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
    会議録 図書
    出版事項 1995
    お気に入りに追加
    保存先:
  5. 5
    Automatic syntactic analysis,
    図書
    著者: Foster, J. M. (John Michael)
    出版事項 1970
    お気に入りに追加
    保存先:
  6. 6
    The mathematical theory of context free languages.
    図書
    著者: Ginsburg, Seymour, 1927-
    出版事項 1966
    お気に入りに追加
    保存先:
  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
    お気に入りに追加
    保存先:
  8. 8
    The mathematical theory of L systems /
    図書
    著者: Rozenberg, Grzegorz, 1934-
    出版事項 1980
    お気に入りに追加
    保存先:
  9. 9
    Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
    図書
    出版事項 1993
    お気に入りに追加
    保存先:
  10. 10
    Formal languages /
    図書
    著者: Salomaa, Arto
    出版事項 1973
    お気に入りに追加
    保存先:
  11. 11
    Picture languages : formal models for picture recognition /
    図書
    著者: Rosenfeld, Azriel, 1931-
    出版事項 1979
    お気に入りに追加
    保存先:
  12. 12
    Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 /
    図書
    出版事項 1977
    お気に入りに追加
    保存先:
  13. 13
    Languages and machines : an introduction to the theory of computer science /
    図書
    著者: Sudkamp, Thomas A.
    出版事項 1988
    お気に入りに追加
    保存先:
  14. 14
    Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
    図書
    出版事項 1976
    お気に入りに追加
    保存先:
  15. 15
    Feasible computations and provable complexity properties /
    図書
    著者: Hartmanis, Juris
    出版事項 1978
    お気に入りに追加
    保存先:
  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
    お気に入りに追加
    保存先:
  17. 17
    A basis for theoretical computer science /
    図書
    著者: Arbib, Michael A.
    出版事項 1981
    お気に入りに追加
    保存先:
  18. 18
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    会議録 図書
    出版事項 1974
    お気に入りに追加
    保存先:
  19. 19
    Automata, languages, and programming : third international colloquium at the University of Edinburgh /
    会議録 図書
    出版事項 1976
    お気に入りに追加
    保存先:
  20. 20
    Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 /
    会議録 図書
    出版事項 1983
    お気に入りに追加
    保存先:
検索ツール: RSSフィード – 検索結果をメール – 検索の保存