Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 20 արդյունքները 59 այս փնտրման համար '', հարցման ժամանակը: 0.03s Հստակեցնել արդյունքները
  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 հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը