- Visitante
- Meu Espaço
- Minha Conta
- Sair
- Identificação
Devido a um problema temporário, o resultado pode estar incompleto.
Resultados de 1 a 10 de 10.260 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
- Disponível na Biblioteca (8.915)
- Recursos Online (2.045)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Revista
|
|
|
| 2 |
Material Type: Livro
|
|
Computer scienceAlfonso F. Cardenas Leon Presser; Miguel A MarinNew York Wiley-Interscience 1972Localização: IME - Inst. Matemática e Estatística (QA700.C3 C266c )(Acessar) |
| 3 |
Material Type: Livro
|
|
|
| 4 |
Material Type: Livro
|
|
|
| 5 |
Material Type: Livro
|
|
|
| 6 |
Material Type: Livro
|
|
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4708 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Foundations of computer scienceAlfred V. Aho Jeffrey D. Ullman 1942-New York : Computer Science Press c1995Localização: IME - Inst. Matemática e Estatística (QA758 A286f )(Acessar) |
| 9 |
Material Type: Revista
|
|
Theoretical Computer ScienceNETHERLANDS ElsevierAcesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 10.260 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
- Disponível na Biblioteca (8.915)
- Recursos Online (2.045)
Refinar Meus Resultados
Tipo de Recurso
- Livros (8.562)
- Artigos (1.205)
- Produções Acadêmicas (254)
- Revistas (200)
- Audiovisuais (26)
- Software (10)
- Produções Técnicas (7)
- Outros (5)
- Recursos Textuais (3)
- Documentos Técnicos (2)
- Sites da Web (1)
-
Mais opções
Assunto
- Inteligência Artificial (1.174)
- Ciência Da Computação (799)
- Engenharia De Software (586)
- Teoria Da Computação (480)
- Metodologia E Técnicas De Computação (457)
- Computer Science (434)
- Linguagem De Programação (408)
- Artificial Intelligence (400)
- Inteligência Artificial (Congressos) (396)
- Algoritmos E Estruturas De Dados (341)
- Neural Networks (Computer Science) (295)
- Expert Systems (Computer Science) (288)
- Object-Oriented Programming (Computer Science) (254)
- Engenharia De Programas (253)
- Electronic Data Processing (247)
- Técnicas De Programação (Congressos) (223)
- Computers (166)
- Data Structures (Computer Science) (165)
- Natural Language Processing (Computer Science) (105)
- Data Encryption (Computer Science) (98)
-
Mais opções
Autor/Criador
- Rozenberg, G (47)
- Symposium on Theoretical Aspects of Computer Science (37)
- Workshop on Computer Science Logic (30)
- Van Leeuwen, J (28)
- Salomaa, A (25)
- Hutchison, D (25)
- Symposium on Foundations of Computer Science (24)
- Conference on Foundations of Software Technology and Theoretical Computer Science (24)
- European Association for Theoretical Computer Science (23)
- International Workshop WG (19)
- Nerode, A (19)
- Ehrig, H (19)
- Rheinboldt, W (17)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (16)
- Symposium on Mathematical Foundations of Computer Science (1972- ) (15)
- Kanade, T (13)
- Gonnet, G (13)
- Symposium on Mathematical Foundations of ComputerScience (12)
- Forsythe, A (11)
- University of Waterloo Dept. of Computer Science (11)
-
Mais opções
Data de Publicação
- Antes de1969 (72)
- 1969Até1982 (659)
- 1983Até1996 (2.713)
- 1997Até2011 (5.538)
- Após 2011 (1.203)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (5.373)
- ICMC - Inst. Ciên. Mat. Computação (5.286)
- IFSC - Inst. Física de São Carlos (1.514)
- EPBC - Esc. Politécnica-Bib Central (723)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (309)
- IF - Instituto de Física (185)
- FEA - Fac. Econ. Adm. Contab. e Atuária (163)
- EACH - Esc. Artes, Ciências e Humanidades (120)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (116)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (71)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (65)
- FMRP - Fac. Medicina de Ribeirão Preto (58)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (45)
- ESALQ - Biblioteca Central (44)
- FE - Faculdade de Educação (31)
- ECA - Escola de Comunicações e Artes (29)
- PUSPSC - Prefeitura do Campus USP de São Carlos (29)
- IQSC - Inst. Química de São Carlos (24)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (12)
- FMRAD - Fac. Medicina-Depto. Radiologia (5)
-
Mais opções
Idioma
- Inglês (9.926)
- Português (330)
- Alemão (22)
- Francês (22)
- Espanhol (16)
- Indeterminado (16)
- Russo (4)
- Chinês (2)
- Italiano (2)
- Sueco (1)
- Vários idiomas (1)
- Tcheco (1)
- Nepalês (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (641)
- Proceedings (298)
- Procedia computer science (67)
- Electronic Notes in Theoretical Computer Science (17)
- Comunicação & Educação (16)
- Lectures Notes in Computer Science (11)
- Lecture Notes in Artificial Intelligence (11)
- SpringerLink (8)
- Journal of Computer Science and Technology (6)
- ACM SIGCSE Bulletin (2)
- Annual Review of Computer Science (1)
- South American Journal of Logic (1)
- International Journal of Computer Science and Information Security (1)
- Malaysian Journal of Computer Science (1)
- Mathematical Problems of Computer Science (1)
- Recent Patents on Computer Science (1)
- SBGAMES Digital Proceedings (1)
- International journal of innovative computer science & engineering (1)
- Iraqi Journal for Computer Science and Mathematics (1)
- Proceedings of the International Symposium on Computer Science & Computational Technology (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 