Resultados de 1 a 10 de 999 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (71)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Guest editorial special issue on theoretical informaticsYoshiharu Kohayakawa Flavio Keidi MiyazawaAlgorithmica New York v. 85, n. 8, p. 2482-2484, 2023New York 2023Localização: IME - Inst. Matemática e Estatística (PROD-3118200 )(Acessar) |
| 2 |
Material Type: Dissertação de Mestrado
|
|
Uma conjectura de Erdos e HajnalEnju, Rodrigo AparecidoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-01-31Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphsRenzo Gómez Flavio Keidi Miyazawa; Yoshiko WakabayashiTheoretical Computer Science Amsterdam v. 947, artigo n. 113691, p. 1-13, 2023Amsterdam 2023Localização: IME - Inst. Matemática e Estatística (PROD-3129421 )(Acessar) |
| 4 |
Material Type: Dissertação de Mestrado
|
|
Arithmetic progressions in sumsets of random setsMiyazaki, Rafael KazuhiroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-06-23Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2022Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 S618i 34839 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
The nature of complex networksSergey N Dorogovtsev José F. F MendesOxford Oxford University Press 2022Localização: EACH - Esc. Artes, Ciências e Humanidades (530.131 D715n )(Acessar) |
| 7 |
Material Type: Livro
|
|
Linguagens formais exercicios e soluçõesMarcus Vinicius Midena RamosSâo Paulo Novates c2021Localização: IME - Inst. Matemática e Estatística (QA806.25 R175L e.1 )(Acessar) |
| 8 |
Material Type: Artigo de Congresso
|
|
Partition crossover for continuous optimization ePXRenato Tinós Darrell Whitley; Francisco Chicano; Gabriela Ochoa; Genetic and Evolutionary Computation Conference - GECCO '21 (21. 2021, Lille, France)Proceedings GECCO '21 New York: ACM, 2021New York ACM 2021Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (pcd 3093737 Acervo Digital )(Acessar) |
| 9 |
Material Type: Artigo de Congresso
|
|
An efficient implementation of iterative partial transcription for the traveling salesman problemAnirban Mukhopadhyay Darrell Whitley; Renato Tinós; The Genetic and Evolutionary Computation Conference (GECCO '21) (21. 2021 Lille)Proceedings GECCO '21 New York: ACM, 2021New York ACM 2021Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (pcd 3099342 Acervo Digital )(Acessar) |
| 10 |
Material Type: Artigo
|
|
A tight lower bound for the online bounded space hypercube bin packing problemYoshiharu Kohayakawa Flavio Keidi Miyazawa; Yoshiko WakabayashiDiscrete Mathematics & Theoretical Computer Science Nancy v. 23, n. 3, p.1-13, 2021Nancy 2021Localização: IME - Inst. Matemática e Estatística (PROD-3052981 )(Acessar) |
Resultados de 1 a 10 de 999 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
- Recursos Online (71)
Refinar Meus Resultados
Tipo de Recurso
- Livros (906)
- Artigos (53)
- Produções Acadêmicas (23)
- Revistas (9)
- Produções Técnicas (6)
- Recursos Textuais (1)
- Audiovisuais (1)
-
Mais opções
Assunto
- Teoria Da Computação (753)
- Ciência Da Computação (131)
- Computer Science (94)
- Metodologia E Técnicas De Computação (85)
- Teoria Da Computação (Congressos) (82)
- Linguagens Formais (71)
- Machine Theory (68)
- Computational Complexity (62)
- Computação Aplicada (57)
- Matemática Da Computação (52)
- Redes De Computadores (50)
- Inteligência Artificial (45)
- Teoria Da Informação E Comunicação (45)
- Computabilidade E Complexidade (44)
- Programming Languages (Electronic Computers) (44)
- Algoritmos E Estruturas De Dados (42)
- Softwares (42)
- Processamento De Dados (41)
- Electronic Digital Computers (39)
- Telemática (37)
-
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)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (19)
- Conference on Foundations of Software Technology and Theoretical Computer Science (18)
- Colloquium on Automata, L (18)
- Symposium on Foundations of Computer Science (17)
- International Conference on Rewriting Techniques and Applications (14)
- Symposium on Mathematical Foundations of ComputerScience (12)
- Kohayakawa, Y (10)
- International Colloquium on Automata, L (10)
- Simon, I (9)
- Menezes, P (8)
- Workshop on Computer Science Logic (8)
- Association for Computing Machinery (8)
- ACM Special Interest Group in Programming Languages (8)
- International Conference on Concurrency Theory (8)
- Nielsen, M (8)
- José Neto, J (8)
- ACM Symposium on Principles of Programming Languages (8)
-
Mais opções
Data de Publicação
- Antes de1972 (53)
- 1972Até1983 (168)
- 1984Até1995 (358)
- 1996Até2008 (333)
- Após 2008 (93)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (746)
- 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)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (3)
- CQ - Conjunto das Químicas (3)
- EESC - Esc. Engenharia de São Carlos (2)
- CDCC - Cent. Div. Científica e Cultural (2)
-
Mais opções
Idioma
- Inglês (899)
- Português (85)
- Francês (16)
- Alemão (7)
- Vários idiomas (1)
-
Mais opções
Nome da Publicação
- Proceedings (12)
- Anais (4)
- International Journal of Approximate Reasoning (3)
- Ciência hoje (2)
- Eletronic Notes in Discrete Mathematics (2)
- Lecture Notes in Computer Science (2)
- International Journal of Modern Physics C (2)
- Physical Review Letters (2)
- Siam Journal on Applied Dynamical Systems (2)
- Proceedings GECCO '21 (2)
- Computer Physics Communications (2)
- Algorithmica (2)
- European Physical Journal B (2)
- Concurency and Computation: practice and experience (2)
- Collected algorithms from acm (1)
- Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues (1)
- Mathématiques & sciences humaines. (1)
- Automatic control and computer sciences (1)
- Expert Systems with Applications (1)
- Proceedings GECCO '18 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 