Resultados de 1 a 10 de 75 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
| 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: Livro
|
|
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Theory of codesJean Berstel Dominique PerrinElsevier 1985Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Combinatorics on TracesVolker DiekertSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Rewriting techniques and applications proceedings [of the] 7th international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996International Conference on Rewriting Techniques and Applications (7. 1996 New Brunswick, Us) Harald GanzingerBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1103 e.1 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Automata, languages and programming proceedingsColloquium on Automata, Languages and Programming (19. 1992 Wien) Werner KuichBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.623 e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (4 1991 Como) Ronald V BookBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.488 e.1 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Automata languages and programming proceedingsColloquium on Automata, Languages and Programming (16. 1989 Stresa) Giorgio Ausiello; M Dezani-CiangagliniBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.372 e.1 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 75 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (71)
- Artigos (2)
- Produções Acadêmicas (1)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Teoria Da Computação (70)
- Machine Theory (18)
- Formal Languages (13)
- Teoria Dos Autômatos (9)
- Sequential Machine Theory (9)
- Lógica Matemática (8)
- Ciência Da Computação (7)
- Inteligência Artificial (7)
- Computational Complexity (6)
- Switching Theory (6)
- Automata (5)
- Algorithms (5)
- Computabilidade E Complexidade (5)
- Programming (Electronic Computers) (4)
- Análise De Algoritmos (3)
- Autômatos Finitos (3)
- Programming Languages (Electronic Computers) (3)
- Teoria Da Computação (Congressos) (3)
- Algoritmos E Estruturas De Dados (3)
- Especificação De Sistemas E Programas (3)
- Theoretische Informatik (2)
- Automatentheorie (2)
- Computers (2)
- Automates Mathématiques, Théorie Des (2)
- Teoría De Las Máquinas (2)
- Abstract Machines (1)
- Autómatas Matemáticos, Teoría De (1)
- Artificial Intelligence (1)
- Algorithm Analysis And Problem Complexity (1)
- Autòmats (1)
- Abstract Automata (1)
- Automaattien Teoria (1)
- Ciaa (1)
- Computational Complexity (1)
- Formal Languages (1)
- Automat (1)
-
Mais opções
Autor/Criador
- International Conference on Rewriting Techniques and Applications (8)
- Colloquium on Automata, L (7)
- Symposium on Switching and Automata Theory (5)
- José Neto, J (4)
- International COnference on Implementation and Application of Automata (3)
- Menezes, P (3)
- International Workshop on Conditional Term Rewriting Systems (3)
- European Association for Theoretical Computer Science (2)
- Ramos, M (2)
- Jouannaud, J (2)
- Dershowitz, N (2)
- Papadimitriou, C (2)
- IEEE Computer Society Switching and Automata Theory Committee (2)
- Nielsen, M (2)
- Ausiello, G (2)
- Arbib, M (2)
- Bravo Pariente, C (2)
- Wood, D (2)
- Lewis, H (2)
- Book, R (2)
-
Mais opções
Data de Publicação
- Antes de1974 (10)
- 1974Até1984 (12)
- 1985Até1992 (17)
- 1993Até2003 (27)
- Após 2003 (12)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (60)
- ICMC - Inst. Ciên. Mat. Computação (58)
- IFSC - Inst. Física de São Carlos (10)
- EPBC - Esc. Politécnica-Bib Central (4)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (4)
- EACH - Esc. Artes, Ciências e Humanidades (3)
- IF - Instituto de Física (1)
- EESC - Esc. Engenharia de São Carlos (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (1)
- Cambridge Core All Books (1)
- Springer Books Online Archive (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Cambridge University Press online books (1)
- Lecture Notes in Computer Science Archive (through to 1996) (1)
-
Mais opções
Idioma
- Inglês (65)
- Português (10)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 