Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automata, languages, and machinesSamuel Eilenberg Author Unknown; Unknown AuthorElsevier 1974Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Word equations and related topics proceedingsInternational Workshop Word Equations and RelatedTopics, 1., Tubingen, 1990 Klaus Ulrich SchulzBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs 572 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Tese de Doutorado
|
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programmeBruno Courcelie Maurice Nivat 1937-1976Localização: IME - Inst. Matemática e Estatística (QA806.T C859s )(Acessar) |
|
4 |
Material Type: Livro
|
Computer programming and formal systemsP. Braffort (Paul) D Hirschberg (David)Amsterdam North-Holland Pub. Co. 1963Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 C738 e.1 )(Acessar) |
|
5 |
Material Type: Livro
|
Machines, languages, and computationPeter J. Denning 1942- Jack B Dennis (Jack Bonnell); Joseph E Qualitz 1948-Englewood Cliffs, N.J. Prentice-Hall c1978Localização: ICMC - Inst. Ciên. Mat. Computação (68N20 D398m e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Automata on infinite wordsEcole de printemps d'informatique théorique (1984 Le Mont-Dore, France) Maurice Nivat 1937-; Dominique PerrinBerlin New York Springer-Verlag c1985Localização: EPBC - Esc. Politécnica-Bib Central (004 Ec73a ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Introduction to automata theory, languages, and computationJohn E. Hopcroft 1939- Jeffrey D Ullman 1942-Reading, Mass. Addison-Wesley c1979Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.713 H77i 1979 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Algebraic theory of machines, languages, and semi-groupsMichael A. Arbib Kenneth Krohn; John L RhodesNew York Academic Press 1968Localização: EPBC - Esc. Politécnica-Bib Central (004 Ar16a ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedingsLPAR (4th 1993 Saint Petersburg, Russia) A Voronkov 1959- (Andreæi)Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lnai v.698 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
A study in string processing languagesPaul KlintBerlin New York Springer-Verlag c1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.205 ex.1 ) e outros locais(Acessar) |