Resultados de 1 a 10 de 232 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 (132)
- Revistas revisadas por pares (85)
- Disponível na Biblioteca (101)
Refinado por:
data de publicação:
1983Até1995
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
String-Rewriting SystemsBook, Ronald V ; Otto, FriedrichNew York, NY: Springer 1998Texto completo disponível |
| 2 |
Material Type: Relatório Técnico
|
|
Set operations on closed intervals and their applications to the automatic programming of mmach'sJúnior Barrera G P Salas; R F HashimotoSao Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.18 e.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Nondeterministic complexity of a finite automationImre Simon 1943-2009Lothaire, M, Ed Paris : Hermes, 1990 Mots: Melanges Offerts a M P SchutzenbergerParis Hermes 1990Item não circula. Consulte sua biblioteca.(Acessar) |
| 4 |
Material Type: Relatório Técnico
|
|
Reasoning with local and global inconsistenciesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.09 e.1 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Products of AutomataBrauer, Wilfred ; Rozenberg, Grzegorz ; Salomaa, ArtoBerlin, Heidelberg: Springer Berlin / Heidelberg 1986Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Book of LRozenberg, G ; Salomaa, ABerlin, Heidelberg: Springer Berlin / Heidelberg 1986Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Modeling and Control of Logical Discrete Event SystemsKumar, Ratnesh ; Garg, Vijay KNew York, NY: Springer 1994Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental BiologyRozenberg, Grzegorz ; Salomaa, ArtoBerlin, Heidelberg: Springer Berlin / Heidelberg 1992Texto completo disponível |
| 9 |
Material Type: Livro
|
|
An Introduction to Formal Language TheoryPustejovsky, James ; Moll, Robert N ; Arbib, Michael A ; Kfoury, A.JNew York, NY: Springer New York 1988Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Computability, complexity, and languages: fundamentals of theoretical computer scienceDavis, Martin ; Sigal, Ron ; Weyuker, Elaine JMorgan Kaufmann 1994Texto completo disponível |
Resultados de 1 a 10 de 232 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 (132)
- Revistas revisadas por pares (85)
- Disponível na Biblioteca (101)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (119)
- Livros (93)
- Produções Técnicas (11)
- Produções Acadêmicas (7)
- Resenhas (1)
- Recursos Textuais (1)
- Verbetes (1)
-
Mais opções
Assunto
- Linguagens Formais (105)
- Teoria Da Computação (24)
- Machine Theory (16)
- Formal Languages (15)
- Teoria Dos Autômatos (11)
- Feminism (9)
- Computabilidade E Complexidade (8)
- Automata (7)
- 1900-1999 (7)
- Women (7)
- Computer Science (7)
- Brazilian Literature (7)
- Sequential Machine Theory (7)
- Langages Formels (6)
- Ebooks Doab Open Access (6)
- Ebook Gbv-Oapen (6)
- Softwares (6)
- Ciência Da Computação (5)
- Lenguajes Formales (5)
- Langage Formel (5)
- Book Industry Communication (5)
- Montadores E Compiladores (Congressos) (4)
- Computational Complexity (4)
- Metodologia E Técnicas De Computação (4)
- Mathematical Logic And Formal Languages (4)
- Computers (4)
- Linguagens Formais E Automatos (4)
- Formale Sprache (4)
- Inteligência Artificial (4)
- Automates Mathématiques, Théorie Des (4)
- Programming Languages (Electronic Computers) (4)
- Romance Languages (4)
- Semigrupos (Combinatória) (3)
- Rewriting Systems (Computer Science) (3)
- Autômatos Finitos (3)
- Administração De Empresas (2)
- Computational Complexity (2)
- Sequential Machine Theory (1)
-
Mais opções
Autor/Criador
- Simon, I (11)
- International Conference on Rewriting Techniques and Applications (6)
- Colloquium on Automata, L (4)
- Perrin, D (4)
- Maldonado, J (3)
- International Workshop on Graph Grammars and Their Applications To Computer Science (3)
- Masiero, P (3)
- International Workshop on Conditional Term Rewriting Systems (3)
- Nakazato, K (3)
- Spring School of the Laboratoire Informatique Theorique et Programmation (3)
- Ehrig, H (3)
- Fabbri, S (3)
- Kobayashi, N (3)
- Jouannaud, J (2)
- Dershowitz, N (2)
- Salomaa, A (2)
- Pellegatti, M (2)
- Berstel, J (2)
- Abdulrab, H (2)
- Teixeira, H (2)
-
Mais opções
Data de Publicação
- Antes de1985 (21)
- 1985Até1987 (51)
- 1988Até1990 (35)
- 1991Até1994 (101)
- Após 1994 (34)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (94)
- ICMC - Inst. Ciên. Mat. Computação (50)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (5)
- IFSC - Inst. Física de São Carlos (4)
- EPBC - Esc. Politécnica-Bib Central (4)
- EACH - Esc. Artes, Ciências e Humanidades (2)
- FEA - Fac. Econ. Adm. Contab. e Atuária (2)
- IF - Instituto de Física (1)
- ECA - Escola de Comunicações e Artes (1)
- IO - Instituto Oceanográfico (1)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (80)
- DOAJ Directory of Open Access Journals (75)
- IngentaConnect Journals (54)
- ROAD: Directory of Open Access Scholarly Resources (42)
- SciELO Brazil (39)
- Gale Academic OneFile (Gale Reference Complete) (36)
- Dialnet (35)
- Jstor Complete Legacy (25)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (20)
- Sociological Abstracts (19)
- JSTOR Arts & Sciences XIV (16)
- Springer Books Online Archive (8)
- Springer Books (8)
- JSTOR (7)
- SciELO Open Access Books (6)
- SpringerLink Books Lecture Notes in Computer Science Archive (6)
- Lecture Notes in Computer Science Archive (through to 1996) (6)
- DOAB: Directory of Open Access Books (6)
- HeinOnline Law Journal Library (3)
- Elsevier All Access Books (2)
-
Mais opções
Idioma
- Inglês (119)
- Português (110)
- Francês (6)
- Espanhol (6)
- Alemão (4)
- Italiano (2)
- Vários idiomas (1)
-
Mais opções
Nome da Publicação
- Seqüência (38)
- Filosofía : Revista Da Faculdade De Letras (16)
- Estudos Feministas (16)
- Anuário De Literatura : Publicação Do Curso De Pós-Graduação Em Letras, Literatura Brasileira E Teoria Literária (11)
- Revista De Crítica Literaria Latinoamericana (7)
- Informação & Sociedade, Estudos (6)
- Proceedings (5)
- Anuário De Literatura (5)
- Economia E Sociedade (4)
- Tempo Social : Revista De Sociologia Da Usp (3)
- Revista de Administração - RAUSP (2)
- Ius Canonicum (2)
- Revista de Matematicas Aplicadas (2)
- Mots: Melanges Offerts a M P Schutzenberger (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 