Resultados de 1 a 10 de 76 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 (28)
- Revistas revisadas por pares (10)
- Disponível na Biblioteca (50)
Refinado por:
data de publicação:
Após 2003
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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. |
| 2 |
Material Type: Relatório Técnico
|
|
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contextoCésar Alberto Bravo Pariente João José Neto 1948-São Paulo EPUSP 2005Item não circula. Consulte sua biblioteca.(Acessar) |
| 3 |
Material Type: Artigo de Congresso
|
|
Memórias do WTA 2010 quarto workshop de tecnologia adaptativaRicardo Luis de Azevedo da Rocha 1960- Workshop de Tecnologia Adaptativa (4. 2010 São Paulo, Brasil)Workshop de Tecnologia Adaptativa São Paulo: s.n. , 2010São Paulo 2010Item não circula. Consulte sua biblioteca.(Acessar) |
| 4 |
Material Type: Dissertação de Mestrado
|
|
Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais.Dalla Valle, Luís Emílio CavechiolliBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-07-23Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Dissertação de Mestrado
|
|
Sistema computacional de representação e manipulação de redes de Petri.Alves, Gustavo RibeiroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-06-29Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Dissertação de Mestrado
|
|
Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.Oliveira, Valter Castelhano DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-10-23Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo de Congresso
|
|
Classifying ontologiesFábio Natanael Kepler Christian Paz-Trillo; Joselyto Riani; Márcio Moretto Ribeiro; Karina Valdivia Delgado; Leliane Nunes de Barros; Renata Wassermann; Workshop on Ontologies and their Applications - WONTO (2. 2006 Ribeirao Preto, SP)CEUR Workshop Proceedings Aachen v. 199, p. 1-12, 2006Aachen 2006Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Linguagens formais e autômatosJoão Luís Garcia RosaRio de Janeiro LTC 2010Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3 R788L 34110 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Applied combinatorics on wordsM. LothaireCambridge University Press 2005Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
A Course in Formal Languages, Automata and GroupsIan M. Chiswell Sheldon Axler; Vincenzo Capasso; Carles Casacuberta; Angus J Macintyre; Kenneth Ribet; Claude Sabbah; Endre SuliSpringer London 2009Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 76 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 (28)
- Revistas revisadas por pares (10)
- Disponível na Biblioteca (50)
Refinar Meus Resultados
Tipo de Recurso
- Livros (43)
- Artigos (16)
- Produções Acadêmicas (13)
- Audiovisuais (3)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Linguagens Formais (43)
- Formal Languages (17)
- Linguagens Formais (Congressos) (16)
- Teoria Dos Autômatos (11)
- Teoria Da Computação (9)
- Computer Science (8)
- Computer Programming (7)
- Artificial Intelligence (7)
- Algorithms (6)
- Machine Theory (5)
- Linguagens Formais E Automatos (5)
- Inteligência Artificial (5)
- Congresses (5)
- Ciência Da Computação (4)
- Reconhecimento De Padrões (4)
- Computabilidade E Complexidade (Congressos) (4)
- Mathematical Logic And Formal Languages (4)
- Rewriting Systems (Computer Science) (4)
- Kongress (4)
- Congrès (4)
- Programming Languages (4)
- Lógica Matemática (4)
- Teoria Da Computação (Congressos) (4)
- Langages Formels (3)
- Educação Não Formal (3)
- Mathematical Logic (3)
- Programming Languages, Compilers, Interpreters (3)
- Compilers (3)
- Reduktionssystem (3)
- E-Book Springer Lncs (3)
- Gramáticas (3)
- Autômatos Finitos (3)
- Logic (3)
- Aquisição Da Linguagem. Perspectiva Formal. Quantificador Universal (2)
- Linguagens Formais (2)
- Abstracte Automaten (2)
- Reduktionssystem (1)
- Autômatos Finitos (1)
- Inteligência Artificial (1)
-
Mais opções
Autor/Criador
- José Neto, J (7)
- International Conference on Rewriting Techniques and Applications (4)
- Rocha, R (4)
- Conference on Developments in Language Theory (4)
- Ariane Machado Lima (3)
- Menezes, P (3)
- Ribeiro, M (3)
- Ramos, M (2)
- Silva, J (2)
- Rosa, J (2)
- Silva Filho, R (2)
- Voronkov, A (2)
- Workshop on Ontologies and their Applications - WONTO (2)
- International Seminar on Relational Methods in Computer Science (2)
- Caurin, G (2)
- Ribeiro, L (2)
- Brazilian Symposium on formal Methods (2)
- Sociedade Brasileira de Computação (2)
- Bravo Pariente, C (2)
- International Workshop on Applications of Kleene Algebra (2)
-
Mais opções
Data de Publicação
- Antes de2005 (13)
- 2005Até2008 (33)
- 2009Até2012 (15)
- 2013Até2018 (11)
- Após 2018 (8)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (28)
- ICMC - Inst. Ciên. Mat. Computação (26)
- EPBC - Esc. Politécnica-Bib Central (8)
- EACH - Esc. Artes, Ciências e Humanidades (5)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (2)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- EESC - Esc. Engenharia de São Carlos (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
- IAU - Inst. Arquitetura e Urbanismo (1)
-
Mais opções
Base de Dados/Biblioteca
- DOAJ Directory of Open Access Journals (9)
- IngentaConnect Journals (6)
- Free E-Journal (出版社公開部分のみ） (6)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (5)
- Springer Books (5)
- SpringerLINK Lecture Notes in Computer Science (2015) (5)
- SpringerLINK Lecture Notes in Computer Science (5)
- SpringerLink Books Lecture Notes in Computer Science Archive (5)
- Springer Books Online Archive (5)
- Dialnet (3)
- ROAD: Directory of Open Access Scholarly Resources (2)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- SciELO Argentina (1)
- SciELO Brazil (1)
- Gale Academic OneFile (1)
-
Mais opções
Idioma
- Inglês (44)
- Português (32)
- Indeterminado (4)
- Espanhol (1)
-
Mais opções
Nome da Publicação
- Revista Do Gel (2)
- Educação E Realidade (2)
- CEUR Workshop Proceedings (2)
- Educação & Realidade (1)
- 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (1)
- Revista Univap (1)
- Workshop de Tecnologia Adaptativa (1)
- Infad (1)
- Resumos (1)
- Proceedings (1)
- Alfa (1)
- Problemata : Revista Internacional De Filosofia (1)
- Ciencia, Docencia Y Tecnología (1)
- Perspectivas Em Gestão & Conhecimento (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 