Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Algebraic structure theory of sequential machinesJuris Hartmanis R. E StearnsEnglewood Cliffs, N.J. Prentice-Hall 1966Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (510.78 H333 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Assembling a finite set of words over a finite alphabet with a single chain of concatenationsShlomo BelagaStrasbourg Université Louis Pasteur, Institut de Recherche Mathématique Avancée 1992Localização: IME - Inst. Matemática e Estatística (QA810 B425a )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Machines, languages and complexity selected contributionsInternational Meeting of Young Computer Scientists, 5., Smolonice, 1988 Jurgen Dassoe; Josef KelemenBerlin Springer 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.381 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Algebraic and automata-theoretic properties of formal languagesSeymour Ginsburg 1927-Amsterdam North-Holland Pub. Co. New York American Elsevier Pub. Co. 1975Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 G493a e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Feasible computations and provable complexity propertiesJuris Hartmanis Conference Board of the Mathematical Sciences-National Science FoundationPhiladelphia Society for Industrial and Applied Mathematics 1978Localização: IME - Inst. Matemática e Estatística (QA810 H333f )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Aspects and prospects of theoretical computer science proceedingsInternational Meeting of Young Computer Scientistics, 6., Smolenice, 1990 Jurgen DassonBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.464 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Computability, complexity, and languages fundamentals of theoretical computer scienceMartin Davis 1928- Ron Sigal; Elaine J WeyukerBoston Academic Press, Harcourt, Brace 1994Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.52 D295c ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Developments in language theory II at the crossroads of mathematics, computer science, and biology : Magdeburg, Germany, 17-21 July 1995Jürgen Dassow; Grzegorz Rozenberg; Arto Salomaa; Conference on developments in language theory (2. 1995 Magdeburg, DT)Singapore World Scientific River Edge, NJ c1996Localização: IME - Inst. Matemática e Estatística (QA806.C D231d )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Automata and formal languages an introductionDean KelleyEnglewood Cliffs, N.J. Prentice Hall c1995Localização: IME - Inst. Matemática e Estatística (QA804 K29a )(Acessar) |