Proposatutako topikoa bilaketarako iradokizunak
Erakusten 1 - 20 emaitzak -- 59 bilaketa honetara '', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1
    Automata, languages and programming.
    Conference Proceeding
    Argitaratua 1973
    Gogokoenen artean sartu
    Gorde:
  2. 2
    A calculus of total correctness for communicating processes /
    Liburua
    Gogokoenen artean sartu
    Gorde:
  3. 3
    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
    Conference Proceeding Liburua
    Argitaratua 1975
    Gogokoenen artean sartu
    Gorde:
  4. 4
    Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
    Conference Proceeding Liburua
    Argitaratua 1995
    Gogokoenen artean sartu
    Gorde:
  5. 5
    Automatic syntactic analysis,
    Liburua
    nork Foster, J. M. (John Michael)
    Argitaratua 1970
    Gogokoenen artean sartu
    Gorde:
  6. 6
    The mathematical theory of context free languages.
    Liburua
    nork Ginsburg, Seymour, 1927-
    Argitaratua 1966
    Gogokoenen artean sartu
    Gorde:
  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 /
    Conference Proceeding Liburua
    Argitaratua 1979
    Gogokoenen artean sartu
    Gorde:
  8. 8
    The mathematical theory of L systems /
    Liburua
    nork Rozenberg, Grzegorz, 1934-
    Argitaratua 1980
    Gogokoenen artean sartu
    Gorde:
  9. 9
    Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
    Liburua
    Argitaratua 1993
    Gogokoenen artean sartu
    Gorde:
  10. 10
    Formal languages /
    Liburua
    nork Salomaa, Arto
    Argitaratua 1973
    Gogokoenen artean sartu
    Gorde:
  11. 11
    Picture languages : formal models for picture recognition /
    Liburua
    nork Rosenfeld, Azriel, 1931-
    Argitaratua 1979
    Gogokoenen artean sartu
    Gorde:
  12. 12
    Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 /
    Liburua
    Argitaratua 1977
    Gogokoenen artean sartu
    Gorde:
  13. 13
    Languages and machines : an introduction to the theory of computer science /
    Liburua
    nork Sudkamp, Thomas A.
    Argitaratua 1988
    Gogokoenen artean sartu
    Gorde:
  14. 14
    Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
    Liburua
    Argitaratua 1976
    Gogokoenen artean sartu
    Gorde:
  15. 15
    Feasible computations and provable complexity properties /
    Liburua
    nork Hartmanis, Juris
    Argitaratua 1978
    Gogokoenen artean sartu
    Gorde:
  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 /
    Conference Proceeding Liburua
    Argitaratua 1978
    Gogokoenen artean sartu
    Gorde:
  17. 17
    A basis for theoretical computer science /
    Liburua
    nork Arbib, Michael A.
    Argitaratua 1981
    Gogokoenen artean sartu
    Gorde:
  18. 18
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    Conference Proceeding Liburua
    Argitaratua 1974
    Gogokoenen artean sartu
    Gorde:
  19. 19
    Automata, languages, and programming : third international colloquium at the University of Edinburgh /
    Conference Proceeding Liburua
    Argitaratua 1976
    Gogokoenen artean sartu
    Gorde:
  20. 20
    Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 /
    Conference Proceeding Liburua
    Argitaratua 1983
    Gogokoenen artean sartu
    Gorde:
Bilaketa egiteko lanabesak: RSS – Emaitzak posta elektronikoz bidali – Bilaketa gorde