Resultados de 1 a 10 de 5.049 para Acervo Físico
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 (4.909)
- Recursos Online (881)
Refinado por:
data de publicação:
1993Até2006
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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. |
| 2 |
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) |
| 3 |
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. |
| 4 |
Material Type: Livro
|
|
Mathematical structures for computer scienceJudith L. GerstingNew York Computer Science c1993Localização: EPBC - Esc. Politécnica-Bib Central (51 G326m3 )(Acessar) |
| 5 |
Material Type: Livro
|
|
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedingsInternational Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A HirschBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedingsSymposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno DurandBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedingsSymposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Mathematical foundations of computer science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997 : proceedingsInternational Symposium on Mathematical foundations of computer science (22. 1997 Bratislava, Slovakia) Igor Prívara; Peter Ruzicka; Symposium on Mathematical Foundations of Computer Science (22. 1997 Bratislava, Slovakia)Berlin London Springer c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v. 1295 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
STACS 98 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedingsSymposium on Theoretical Aspects of Computer Science (15th 1998 Paris, France) Michel Morvan; Christoph Meinel; Daniel KrobBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1370 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
STACS 93 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993 : proceedingsSymposium on Theoretical Aspects of Computer Science (10th 1993 Würzburg, Germany) P Enjalbert (Patrice); A Finkel; K. W Wagner (Klaus W.)Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.665 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 5.049 para Acervo Físico
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
Mostrar Somente
- Disponível na Biblioteca (4.909)
- Recursos Online (881)
Refinar Meus Resultados
Tipo de Recurso
- Livros (4.770)
- Artigos (221)
- Produções Acadêmicas (31)
- Audiovisuais (12)
- Revistas (9)
- Software (8)
- Produções Técnicas (5)
- Sites da Web (1)
- Documentos Técnicos (1)
-
Mais opções
Assunto
- Inteligência Artificial (790)
- Ciência Da Computação (517)
- Engenharia De Software (322)
- Inteligência Artificial (Congressos) (273)
- Teoria Da Computação (249)
- Artificial Intelligence (247)
- Computer Science (245)
- Neural Networks (Computer Science) (227)
- Computer Software (224)
- Linguagem De Programação (215)
- Metodologia E Técnicas De Computação (209)
- Redes De Computadores (193)
- Computer Security (189)
- Engenharia De Programas (180)
- Algoritmos E Estruturas De Dados (176)
- Computação Gráfica (167)
- Técnicas De Programação (Congressos) (166)
- Computer Networks (139)
- Expert Systems (Computer Science) (135)
- Computabilidade E Complexidade (Congressos) (111)
-
Mais opções
Autor/Criador
- Rozenberg, G (29)
- LINK (Online service) (22)
- Dongarra, J (19)
- Hartmanis, J (19)
- Goos, G (16)
- European Conference on Computer Vision (15)
- Yung, M (14)
- Van Leeuwen, J (14)
- Symposium on Theoretical Aspects of Computer Science (13)
- Workshop on Computer Science Logic (12)
- Conference on Foundations of Software Technology and Theoretical Computer Science (12)
- International Conference on Rewriting Techniques and Applications (12)
- Kohayakawa, Y (11)
- International Conference on Conceptual Structures (11)
- International Colloquium on Automata, L (11)
- Bruno, O (10)
- Leeuwen, J (10)
- Symposium on Foundations of Computer Science (9)
- CAV (Conference) (8)
- European Association for Computer Science Logic Conference (8)
-
Mais opções
Data de Publicação
- Antes de1994 (220)
- 1994Até1996 (849)
- 1997Até1999 (1.148)
- 2000Até2003 (1.363)
- Após 2003 (1.482)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (3.426)
- IME - Inst. Matemática e Estatística (3.002)
- IFSC - Inst. Física de São Carlos (1.350)
- EPBC - Esc. Politécnica-Bib Central (249)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (162)
- IF - Instituto de Física (61)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (55)
- EACH - Esc. Artes, Ciências e Humanidades (54)
- FEA - Fac. Econ. Adm. Contab. e Atuária (51)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (35)
- PUSPSC - Prefeitura do Campus USP de São Carlos (21)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (20)
- ESALQ - Biblioteca Central (16)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (13)
- EESC - Esc. Engenharia de São Carlos (12)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (10)
- IEE - Inst. de Energia e Ambiente (9)
- ICB - Inst. Ciências Biomédicas (9)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (7)
- EERP - Esc. Enfermagem Ribeirão Preto (5)
-
Mais opções
Idioma
- Inglês (4.996)
- Português (54)
- Francês (5)
- Alemão (4)
- Indeterminado (4)
- Espanhol (2)
- Russo (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (368)
- Proceedings (100)
- Lectures Notes in Computer Science (10)
- Theoretical Computer Science (10)
- Lecture Notes in Artificial Intelligence (10)
- INFOCOMP: Journal of Computer Science (6)
- Electronic Notes in Theoretical Computer Science (5)
- INFOCOMP Journal of Computer Science (4)
- Journal of Universal Computer Science (3)
- Proceedings of the ACIS (3)
- Journal of Computer Science (2)
- WCCSETE 2006 (2)
- Lectures Note in Computer Science (1)
- Advances in contemporary logic and computer science (1)
- EPOS 2004: Proceedings (1)
- SBGAMES Digital Proceedings (1)
- Ifip Transactions a. Computer Science and Technology (1)
- Advances in Cryptology ASIACRYPT 2005 (1)
- Algebraic structures and operator calculus (1)
- FECS'05 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 