Рекомендовані теми у межах Вашого пошуку.
Показ 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-стрічку – Відправити пошук е-поштою – Зберегти пошук