Resultados de 11 a 20 de 402 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (61)
- Revistas revisadas por pares (16)
- Disponível na Biblioteca (351)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
Linguagens formais e autômatosPaulo Blauth MenezesPorto Alegre Sagra-Luzzato 2001Localização: ICMC - Inst. Ciên. Mat. Computação (C 68Q15.01 M543Lf.4 e.5 ) e outros locais(Acessar) |
| 12 |
Material Type: Livro
|
|
Linguagens formais e autômatosPaulo Fernado Blauth MenezesPorto Alegre Sagra-Dcluzzato 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 M543L.2 ) e outros locais(Acessar) |
| 13 |
Material Type: Tese (Outras)
|
|
Caracterização de conjuntos racionais limitadosImre Simon 1943-2009São Paulo S.N. 1978Localização: ICMC - Inst. Ciên. Mat. Computação (T S594ca e.1 ) e outros locais(Acessar) |
| 14 |
Material Type: Livro
|
|
Efficient Graph Rewriting and Its ImplementationHeiko DörrSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
| 15 |
Material Type: Dissertação de Mestrado
|
|
Propriedades de algumas classes de relações racionaisSouza, Rodrigo Nonamor Pereira Mariano DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-06-18Acesso online. A biblioteca também possui exemplares impressos. |
| 16 |
Material Type: Dissertação de Mestrado
|
|
Sistemas de reescrita de termos: teoria e uma aplicaçãoZanutto, JeffersonBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1999-05-21Acesso online. A biblioteca também possui exemplares impressos. |
| 17 |
Material Type: Dissertação de Mestrado
|
|
Propriedades de conjuntos-igualdade de codigosKobayashi, NamiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1983-06-08Acesso online. A biblioteca também possui exemplares impressos. |
| 18 |
Material Type: Dissertação de Mestrado
|
|
Automato dos sufixosKarpischek, Ricardo UedaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1993-08-11Acesso online. A biblioteca também possui exemplares impressos. |
| 19 |
Material Type: Relatório Técnico
|
|
Categorical grammar and harmonic analysisFlávio Soares Corrêa da Silva Fábio Kon 1969-São Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.05 e.1 ) e outros locais(Acessar) |
| 20 |
Material Type: Relatório Técnico
|
|
Recognizable sets with the tropical semiringImre Simon 1943-2009Sao Paulo IME-USP 1988Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1988 v.5 e.1 ) e outros locais(Acessar) |
Resultados de 11 a 20 de 402 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (61)
- Revistas revisadas por pares (16)
- Disponível na Biblioteca (351)
Refinar Meus Resultados
Tipo de Recurso
- Livros (321)
- Artigos (32)
- Produções Acadêmicas (31)
- Produções Técnicas (14)
- Audiovisuais (3)
- Revistas (1)
- Recursos Textuais (1)
-
Mais opções
Assunto
- Linguagens Formais (347)
- Formal Languages (81)
- Teoria Da Computação (69)
- Machine Theory (68)
- Lógica Matemática (35)
- Sequential Machine Theory (32)
- Teoria Dos Autômatos (30)
- Linguagens Formais (Congressos) (28)
- Inteligência Artificial (25)
- Computer Science (23)
- Ciência Da Computação (19)
- Algorithms (17)
- Logic, Symbolic And Mathematical (15)
- Computabilidade E Complexidade (15)
- Automata (14)
- Langages Formels (12)
- Computational Complexity (12)
- Mathematical Logic And Formal Languages (12)
- Artificial Intelligence (12)
- Rewriting Systems (Computer Science) (12)
- Linguística Computacional (11)
- Linguagens Formais E Automatos (11)
- Metodologia E Técnicas De Computação (10)
- Computer Programming (10)
- Mathematical Logic (10)
- Programming Languages (Electronic Computers) (10)
- Montadores E Compiladores (Congressos) (9)
- Congresses (9)
- Kongress (8)
- Programming Languages (8)
- Lenguajes Formales (7)
- Langage Formel (7)
- Congrès (7)
- Automates Mathématiques, Théorie Des (7)
- Automatentheorie (6)
- Computer Programming (4)
- Sequential Machine Theory (3)
- Lógica Matemática (2)
- Computational Complexity (2)
- Inteligência Artificial (2)
- Teoria Da Computação (1)
-
Mais opções
Autor/Criador
- International Conference on Rewriting Techniques and Applications (16)
- Simon, I (15)
- José Neto, J (13)
- Salomaa, A (13)
- Rozenberg, G (10)
- Conference on Developments in Language Theory (8)
- Colloquium on Automata, L (7)
- Ehrig, H (7)
- Ullman, J (5)
- Rocha, R (5)
- Menezes, P (5)
- Hopcroft, J (5)
- Symposium on Switching and Automata Theory (5)
- International Conference on Implementation and Application of Automata (4)
- Papadimitriou, C (4)
- Berstel, J (4)
- Voronkov, A (4)
- Lentin, A (4)
- Kobayashi, N (4)
- Lewis, H (4)
-
Mais opções
Data de Publicação
- Antes de1971 (48)
- 1971Até1982 (82)
- 1983Até1994 (109)
- 1995Até2007 (140)
- Após 2007 (40)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (278)
- ICMC - Inst. Ciên. Mat. Computação (184)
- IFSC - Inst. Física de São Carlos (36)
- EPBC - Esc. Politécnica-Bib Central (30)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (16)
- IF - Instituto de Física (12)
- FEA - Fac. Econ. Adm. Contab. e Atuária (12)
- EACH - Esc. Artes, Ciências e Humanidades (10)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (5)
- PUSPSC - Prefeitura do Campus USP de São Carlos (3)
- IEB - Inst. Estudos Brasileiros (2)
- MP - Museu Paulista (2)
- CENA - Cent. En. Nuclear na Agricultura (2)
- IO - Instituto Oceanográfico (1)
- IAU - Inst. Arquitetura e Urbanismo (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- FMRP - Fac. Medicina de Ribeirão Preto (1)
- EESC - Esc. Engenharia de São Carlos (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (17)
- Springer Books Online Archive (17)
- Lecture Notes in Computer Science Archive (through to 1996) (15)
- SpringerLink Books Lecture Notes in Computer Science Archive (15)
- DOAJ Directory of Open Access Journals (11)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (9)
- SpringerLINK Lecture Notes in Computer Science (2015) (9)
- EZB Electronic Journals Library (8)
- IngentaConnect Journals (7)
- Elsevier All Access Books (3)
- ROAD: Directory of Open Access Scholarly Resources (3)
- ScienceDirect eBooks (3)
- Dialnet (3)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- Gale Academic OneFile (Gale Reference Complete) (1)
- SciELO (1)
-
Mais opções
Idioma
- Inglês (320)
- Português (60)
- Francês (20)
- Indeterminado (5)
- Alemão (4)
- Espanhol (1)
- Vários idiomas (1)
-
Mais opções
Nome da Publicação
- Proceedings (10)
- CEUR Workshop Proceedings (2)
- Educação E Realidade (2)
- Revista de matematicas aplicadas (2)
- Revista de Administração - RAUSP (2)
- Revista Do Gel (2)
- Linhas Críticas (1)
- Mots: Melanges Offerts a M P Schutzenberger (1)
- Problemata : Revista Internacional De Filosofia (1)
- Infad (1)
- Educação & Sociedade (1)
- Educação & Realidade (1)
- Resumos (1)
- 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (1)
- Workshop de Tecnologia Adaptativa (1)
- Ciencia, Docencia Y Tecnología (1)
- Perspectivas Em Gestão & Conhecimento (1)
- ZDL Zeitschrift fur Dialektologie und Linguistik (1)
- Alfa (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 