Resultados de 11 a 20 de 1.514 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (1.512)
- Recursos Online (75)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (21th 2001 Bangalore, India) Ramesh Hariharan; Madhavan Mukund; V VinayBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2245 ) e outros locais(Acessar) |
| 12 |
Material Type: Livro
|
|
Combinatorics and computer scienceFranco-Japanese Conference Combinatorics and Computer Science CCS'95, 8 1995 Brest Michel Deza; Reinhardt Euler; Ioannis Manoussakis; Franco-Chinese Conference Combinatorics and Computer Science CCS'95,4Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1120 )(Acessar) |
| 13 |
Material Type: Livro
|
|
Logical foundations of computer scienceSymposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil NerodeGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1234 )(Acessar) |
| 14 |
Material Type: Livro
|
|
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva PrasadBerlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1974 ) e outros locais(Acessar) |
| 15 |
Material Type: Livro
|
|
Category theory and computer scienceBiennial Conference on Category Theory and Computer Science, CTCS'97, 7 1997 Santa Margherita Ligure Eugenio Moggi; Giuseppe RosoliniGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1290 )(Acessar) |
| 16 |
Material Type: Livro
|
|
Computer science research and applicationsUdi Manber; Ricardo Baeza-Yates; Chilean Computer Science Society International Conference Santiago, Chile) 1991New York Plenum Press c1992Localização: IFSC - Inst. Física de São Carlos (P001.6 I61c ) e outros locais(Acessar) |
| 17 |
Material Type: Livro
|
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
| 18 |
Material Type: Livro
|
|
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lecturesEEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter KatoenBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2090 ) e outros locais(Acessar) |
| 19 |
Material Type: Livro
|
|
Foundations of computer science potential, theory, cognitionWilfried Brauer; C Freksa; Matthias Jantzen 1948-; R Valk (Rüdiger)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1337 ) e outros locais(Acessar) |
| 20 |
Material Type: Livro
|
|
Foundations of software technology and theoretical computer scienceFoundations of Software Technology and Theoretical Computer Science Conference, 17 1997 Kharagpur S RameshGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1346 )(Acessar) |
Resultados de 11 a 20 de 1.514 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
- Disponível na Biblioteca (1.512)
- Recursos Online (75)
Refinar Meus Resultados
Tipo de Recurso
- Livros (1.453)
- Artigos (48)
- Produções Acadêmicas (9)
- Audiovisuais (3)
- Revistas (2)
- Software (1)
-
Mais opções
Assunto
- Ciência Da Computação (460)
- Inteligência Artificial (266)
- Engenharia De Software (126)
- Teoria Da Computação (120)
- Metodologia E Técnicas De Computação (97)
- Redes De Computadores (83)
- Banco De Dados (74)
- Computação Gráfica (70)
- Linguagem De Programação (69)
- Algoritmos E Estruturas De Dados (67)
- Artificial Intelligence (66)
- Arquitetura E Organização De Computadores (65)
- Lógica Matemática (61)
- Computer Science (58)
- Recuperação Da Informação (55)
- Processamento De Imagens (53)
- Computer Security (50)
- Sistemas De Informação (45)
- Softwares (42)
- Computabilidade E Complexidade (40)
-
Mais opções
Autor/Criador
- Bruno, O (31)
- Hartmanis, J (16)
- Siekmann, J (15)
- Carbonell, G (13)
- Goos, G (13)
- Costa, L (12)
- Backes, A (11)
- Dongarra, J (10)
- Leeuwen, J (10)
- Rozenberg, G (9)
- Van Leeuwen, J (9)
- Nielsen, M (8)
- Rolim, J (8)
- International EURO-PAR Conference (7)
- Florindo, J (7)
- Rudolph, L (7)
- Feitelson, D (7)
- Workshop on Computer Science Logic (6)
- International Conference on Rewriting Techniques and Applications (6)
- Mira, J (6)
-
Mais opções
Data de Publicação
- Antes de1982 (18)
- 1982Até1991 (62)
- 1992Até2001 (1.306)
- 2002Até2012 (107)
- Após 2012 (23)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (988)
- IME - Inst. Matemática e Estatística (759)
- EPBC - Esc. Politécnica-Bib Central (34)
- IF - Instituto de Física (20)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (19)
- EACH - Esc. Artes, Ciências e Humanidades (12)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (9)
- FEA - Fac. Econ. Adm. Contab. e Atuária (8)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (8)
- IP - Instituto de Psicologia (3)
- CQ - Conjunto das Químicas (3)
- EESC - Esc. Engenharia de São Carlos (3)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (3)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (3)
- EEL - Engenharia de Materiais (3)
- EEFE - Esc. Educação Física e Esporte (3)
- IO - Instituto Oceanográfico (2)
- PUSPSC - Prefeitura do Campus USP de São Carlos (2)
- FE - Faculdade de Educação (2)
-
Mais opções
Idioma
- Inglês (1.506)
- Português (8)
- Francês (3)
- Alemão (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (377)
- Lecture Notes in Computer Science - LNCS (12)
- Lecture Notes in Artificial Intelligence (10)
- Communications in Computer and Information Science (6)
- World Scientific Series in Computer Science (1)
- Lectures Notes in Computer Science (1)
- Springer Series in Information Sciences (1)
- Proceedings (1)
- Conference Paper (1)
- Ieice transactions on fundamentals of electronics, communications and computer sciences Section a (1)
- Computer Science: Research and Applicat ions (1)
- Proceeding (1)
- A Primer on Scientific Programming with Python (1)
- Journal of Petroleum Science and Engineering (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 