Resultados de 1 a 10 de 5.363 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 (879)
Refinado por:
Biblioteca:
IME - Inst. Matemática e Estatística
nível superior:
Disponível na Biblioteca
nível superior:
Disponível na Biblioteca
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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) |
| 2 |
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) |
| 3 |
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. |
| 4 |
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) |
| 5 |
Material Type: Revista
|
|
Theoretical Computer ScienceNETHERLANDS ElsevierAcesso online. A biblioteca também possui exemplares impressos. |
| 6 |
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. |
| 7 |
Material Type: Livro
|
|
Fete of Combinatorics and Computer ScienceH. Paul Shuch Gyula O.H Katona; Alexander Schrijver; Tamás SzönyiSpringer Berlin Heidelberg 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, CanadaConference on Theoretical Computer Science (1977 University of Waterloo) University of Waterloo Mathematical Research DivisionWaterloo, Ont. Computer Science Dept., University of Waterloo 1977Localização: IME - Inst. Matemática e Estatística (QA800.C C748p )(Acessar) |
| 9 |
Material Type: Livro
|
|
Combinatorics for computer scienceS. Gill Williamson (Stanley Gill)Rockville, Md. Computer Science Press c1985Localização: IME - Inst. Matemática e Estatística (QA830 W732c )(Acessar) |
| 10 |
Material Type: Livro
|
|
The Carnegie-Mellon Curriculum for Undergraduate Computer ScienceMary Donner, M. Driscoll, J. Mauldin, M. Pausch, R. Scherlis, W. L. Shaw, M. Spector, A. Z. Shaw, M. Shaw S. D Brookes; M Donner; J Driscoll; M Mauldin; R Pausch; W. L Scherlis; M Shaw; Mary Shaw; A. Z SpectorSpringer New York 1985Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 5.363 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 (879)
Refinar Meus Resultados
Tipo de Recurso
- Livros (4.955)
- Artigos (333)
- Produções Acadêmicas (34)
- Revistas (27)
- Audiovisuais (6)
- Produções Técnicas (5)
- Outros (5)
- Software (2)
- Recursos Textuais (1)
-
Mais opções
Assunto
- Inteligência Artificial (548)
- Inteligência Artificial (Congressos) (390)
- Teoria Da Computação (380)
- Metodologia E Técnicas De Computação (349)
- Ciência Da Computação (323)
- Engenharia De Software (289)
- Computer Science (260)
- Engenharia De Programas (247)
- Artificial Intelligence (243)
- Algoritmos E Estruturas De Dados (231)
- Computabilidade E Complexidade (223)
- Técnicas De Programação (Congressos) (222)
- Arquitetura E Organização De Computadores (222)
- Computer Software (221)
- Linguagem De Programação (217)
- Computer Security (177)
- Computer Algorithms (160)
- Electronic Digital Computers (154)
- Computação Gráfica (145)
- Expert Systems (Computer Science) (110)
-
Mais opções
Autor/Criador
- Rozenberg, G (37)
- Finger, M (33)
- Wakabayashi, Y (28)
- Kohayakawa, Y (27)
- Fernandes, C (24)
- Salomaa, A (20)
- Song, S (19)
- Symposium on Theoretical Aspects of Computer Science (19)
- Symposium on Foundations of Computer Science (18)
- Conference on Foundations of Software Technology and Theoretical Computer Science (18)
- European Conference on Computer Vision (15)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (15)
- Ehrig, H (15)
- Simon, I (14)
- European Association for Theoretical Computer Science (14)
- Workshop on Computer Science Logic (13)
- Rheinboldt, W (13)
- Symposium on Mathematical Foundations of ComputerScience (12)
- Gonnet, G (11)
- University of Waterloo Dept. of Computer Science (11)
-
Mais opções
Data de Publicação
- Antes de1971 (74)
- 1971Até1983 (491)
- 1984Até1996 (1.490)
- 1997Até2010 (3.005)
- Após 2010 (307)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (3.442)
- IFSC - Inst. Física de São Carlos (759)
- EPBC - Esc. Politécnica-Bib Central (235)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (82)
- IF - Instituto de Física (77)
- FEA - Fac. Econ. Adm. Contab. e Atuária (57)
- EACH - Esc. Artes, Ciências e Humanidades (33)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (27)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (23)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (16)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (12)
- ESALQ - Biblioteca Central (10)
- PUSPSC - Prefeitura do Campus USP de São Carlos (10)
- IO - Instituto Oceanográfico (8)
- FMRP - Fac. Medicina de Ribeirão Preto (7)
- EERP - Esc. Enfermagem Ribeirão Preto (6)
- IP - Instituto de Psicologia (5)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (4)
- FE - Faculdade de Educação (3)
-
Mais opções
Idioma
- Inglês (5.328)
- Português (26)
- Alemão (16)
- Francês (11)
- Indeterminado (2)
- Sueco (1)
- Vários idiomas (1)
-
Mais opções
Nome da Publicação
- Proceedings (218)
- Theoretical Computer Science (26)
- Lecture Notes in Computer Science (14)
- Electronic Notes in Theoretical Computer Science (14)
- Procedia computer science (10)
- OhioLINK electronic book center (8)
- Lecture Notes in Artificial Intelligence (5)
- SN Computer Science (3)
- Theoretical computer science Part B Logic, semantics and theory of programming (1)
- South American Journal of Logic (1)
- Springer eBooks (1)
- Computer Systems Science and Engineering (1)
- Advances in contemporary logic and computer science (1)
- Utilitas mathematica a canadian journal of applied mathematics, computer science and statistics (1)
- Workshop notes (1)
- Algebraic structures and operator calculus (1)
- CWI QUARTERLY (1)
- Mathematical Foundations of Computer Science 2007 (1)
- Bulletin of the European Association for Theoretical Computer Science (1)
- Computer Science Review (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 