Resultados de 1 a 10 de 1.109 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 (143)
- Revistas revisadas por pares (34)
- Disponível na Biblioteca (1.001)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Teoria da computação máquinas universais e computabilidadeTiarajú Asmuz Diverio Paulo Blauth MenezesPorto Alegre, RS Sagra-Luzzato c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q01 D618t e.3 ) e outros locais(Acessar) |
| 2 |
Material Type: Revista
|
|
Journal of Logic and ComputationENGLAND OUPAcesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Revista
|
|
Journal of ComplexityUNITED STATES Academic PressAcesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Revista
|
|
Journal of CryptologyUNITED STATES HybridAcesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Relatório Técnico
|
|
Arguments in favor of a controlled plurality of office formating standardsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.7 ) e outros locais(Acessar) |
| 6 |
Material Type: Relatório Técnico
|
|
A hierarchy for the recognizable M-subsetsNami KobayashiSão Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Artigo de Congresso
|
|
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.377 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Short proof of the factorization forest theoremImre Simon 1943-2009Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and LanguagesAmsterdam Elsevier Science 1992Localização: IME - Inst. Matemática e Estatística (PROD-834805 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Recent Developments in Switching TheoryAmar MukhopadhyayAcademic Press 1971Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
Clausal Theory of TypesD. A. WolframCambridge Cambridge University Press 1993Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 1.109 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 (143)
- Revistas revisadas por pares (34)
- Disponível na Biblioteca (1.001)
Refinar Meus Resultados
Tipo de Recurso
- Livros (988)
- Artigos (67)
- Produções Acadêmicas (25)
- Produções Técnicas (10)
- Revistas (9)
- Anais de Congresso (7)
- Audiovisuais (1)
- Recursos Textuais (1)
- Dissertações (1)
-
Mais opções
Assunto
- Teoria Da Computação (791)
- Computer Science (153)
- Ciência Da Computação (137)
- Machine Theory (92)
- Teoria Da Computação (Congressos) (88)
- Metodologia E Técnicas De Computação (86)
- Computational Complexity (81)
- Linguagens Formais (73)
- Computação Aplicada (58)
- Matemática Da Computação (53)
- Redes De Computadores (50)
- Computers (46)
- Inteligência Artificial (46)
- Computabilidade E Complexidade (45)
- Teoria Da Informação E Comunicação (45)
- Programming Languages (Electronic Computers) (44)
- Softwares (42)
- Algoritmos E Estruturas De Dados (42)
- Processamento De Dados (41)
- Electronic Digital Computers (39)
- Teoria Dos Grafos (39)
- Congresses (38)
- Teoria Da Computacao (33)
- Theory Of Computation (30)
- Information Theory (29)
- Kongress (27)
- E-Book Springer Lncs (26)
- Congrès (26)
- Mathematics (24)
- Informatique (24)
- Algorithms (24)
- Computation By Abstract Devices (23)
- Computer Software (22)
- Algorithm Analysis And Problem Complexity (18)
- Electronic Data Processing (18)
- Data Processing (18)
- Electronic Digital Computers (7)
- Algoritmos E Estruturas De Dados (5)
- Ciência Da Computação (5)
- Matemática Da Computação (3)
- Softwares (2)
- Linguagens Formais (2)
- Inteligência Artificial (2)
- Redes De Computadores (1)
- Computação Aplicada (1)
- Teoria Dos Grafos (1)
-
Mais opções
Autor/Criador
- ACM Special Interest Group for Automata and Computability Theory (33)
- ACM Symposium on Theory of Computing (29)
- Symposium on Theoretical Aspects of Computer Science (23)
- Symposium on Foundations of Computer Science (23)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (19)
- Colloquium on Automata, L (18)
- Conference on Foundations of Software Technology and Theoretical Computer Science (18)
- International Conference on Rewriting Techniques and Applications (14)
- Symposium on Mathematical Foundations of ComputerScience (12)
- Kohayakawa, Y (10)
- International Colloquium on Automata, L (10)
- José Neto, J (9)
- Simon, I (9)
- ACM Symposium on Principles of Programming Languages (8)
- ACM Special Interest Group in Programming Languages (8)
- Workshop on Computer Science Logic (8)
- International Conference on Concurrency Theory (8)
- Nielsen, M (8)
- ACM Special Interest Group for Algorithms and Computation Theory (8)
- Association for Computing Machinery (8)
-
Mais opções
Data de Publicação
- Antes de1972 (54)
- 1972Até1983 (177)
- 1984Até1995 (374)
- 1996Até2008 (440)
- Após 2008 (129)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (748)
- ICMC - Inst. Ciên. Mat. Computação (628)
- IFSC - Inst. Física de São Carlos (159)
- EPBC - Esc. Politécnica-Bib Central (59)
- FEA - Fac. Econ. Adm. Contab. e Atuária (27)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (24)
- IF - Instituto de Física (23)
- EACH - Esc. Artes, Ciências e Humanidades (19)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (16)
- ECA - Escola de Comunicações e Artes (8)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (7)
- PUSPSC - Prefeitura do Campus USP de São Carlos (7)
- FE - Faculdade de Educação (6)
- ESALQ - Biblioteca Central (5)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (4)
- EE - Escola de Enfermagem (3)
- CQ - Conjunto das Químicas (3)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (3)
- CDCC - Cent. Div. Científica e Cultural (2)
- EESC - Esc. Engenharia de São Carlos (2)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (57)
- Springer Books Online Archive (51)
- SpringerLink Books Lecture Notes in Computer Science Archive (47)
- Lecture Notes in Computer Science Archive (through to 1996) (47)
- SpringerLINK Lecture Notes in Computer Science (2015) (43)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (43)
- ACM Digital Library Complete (7)
- IngentaConnect Journals (4)
- ScienceDirect eBooks (4)
- DOAJ Directory of Open Access Journals (4)
- Elsevier ScienceDirect eBook - All Access Books (4)
- Cambridge University Press online books (3)
- EZB Free E-Journals (3)
- ROAD: Directory of Open Access Scholarly Resources (3)
- Wiley Online Library All Obooks (3)
- Cambridge Core All Books (3)
- Dialnet (3)
- SciELO (2)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- SpringerLINK Lecture Notes in Mathematics Archive (Through 1996) (1)
-
Mais opções
Idioma
- Inglês (996)
- Português (102)
- Francês (18)
- Alemão (8)
- Espanhol (3)
- Indeterminado (2)
- Vários idiomas (1)
- Japonês (1)
-
Mais opções
Nome da Publicação
- Proceedings (12)
- Anais (4)
- International Journal of Approximate Reasoning (3)
- InCID: Revista de Ciência da Informação e Documentação (2)
- Advanced Engineering Informatics, (2)
- Filologia e Linguística Portuguesa (2)
- Significação: revista de cultura audiovisual (2)
- Cadernos de Filosofia Alemã: crítica e modernidade (2)
- Proceedings GECCO '21 (2)
- Risco Revista de Pesquisa em Arquitetura e Urbanismo (Online) (2)
- Ciência & Educação (2)
- ARS (São Paulo) (2)
- Saúde e Sociedade (2)
- Tempo Social (2)
- Via Atlântica (2)
- Intelligere (2)
- International Journal of Modern Physics C (2)
- Khronos (2)
- PHYSICAL REVIEW LETTERS (2)
- REGE Revista de Gestão (2)
- Revista Contabilidade & Finanças (2)
- Cadernos Cedes (1)
- Cadernos Do Cedes (1)
- Intexto (1)
- Cuadernos Del Centro De Estudios En Diseño Y Comunicación. Ensayos (1)
- Ciencia & Educação (1)
- Revista Do Instituto Geogebra Internacional De São Paulo (1)
- Cuadernos Del Centro De Estudios De Diseño Y Comunicación (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 