Resultados de 1 a 10 de 2.525 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (2.437)
- Recursos Online (197)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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) |
| 2 |
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) |
| 3 |
Material Type: Livro
|
|
Mathematical structures for computer scienceJudith L. GerstingNew York Computer Science c1993Localização: EPBC - Esc. Politécnica-Bib Central (51 G326m3 )(Acessar) |
| 4 |
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. |
| 5 |
Material Type: Livro
|
|
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. JohnstoneCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedingsWorkshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)Berlin New York Springer-Verlag c1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.626 e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
STACS 85 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985Symposium on Theoretical Aspects of Computer Science (2nd 1985 Saarbrücken, Germany) Kurt Mehlhorn 1949-Berlin Springer-Verlag New York 1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.182 ex.1 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedingsWorkshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)Berlin Springer-Verlag New York c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.533 e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedingsSymposium on Theoretical Aspects of Computer Science (9th 1992 Cachan, France) A Finkel; Matthias Jantzen 1948-Berlin New York Springer-Verlag c1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.577 e.1 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
STACS 89 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedingsSymposium on Theoretical Aspects of Computer Science (6th 1989 Paderborn, Germany) B Monien; Robert Cori; European Association for Theoretical Computer Science; Gesellschaft für Informatik; Association française pour la cybernétique économique et techniqueBerlin New York Springer-Verlag 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.349 e.1 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 2.525 para Acervo Físico
- 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 (2.437)
- Recursos Online (197)
Refinar Meus Resultados
Tipo de Recurso
- Livros (2.458)
- Artigos (27)
- Revistas (15)
- Produções Acadêmicas (14)
- Software (8)
- Audiovisuais (8)
- Documentos Técnicos (2)
-
Mais opções
Assunto
- Inteligência Artificial (366)
- Metodologia E Técnicas De Computação (235)
- Ciência Da Computação (235)
- Teoria Da Computação (226)
- Expert Systems (Computer Science) (175)
- Engenharia De Software (168)
- Arquitetura E Organização De Computadores (152)
- Computabilidade E Complexidade (144)
- Algoritmos E Estruturas De Dados (141)
- Neural Networks (Computer Science) (136)
- Artificial Intelligence (136)
- Linguagem De Programação (129)
- Computer Science (92)
- Object-Oriented Programming (Computer Science) (90)
- Banco De Dados (88)
- Computação Aplicada (85)
- Softwares (80)
- Redes Neurais (76)
- Electronic Digital Computers (73)
- Data Structures (Computer Science) (70)
-
Mais opções
Autor/Criador
- Rozenberg, G (17)
- Symposium on Theoretical Aspects of Computer Science (14)
- Conference on Foundations of Software Technology and Theoretical Computer Science (12)
- Colloquium on Automata, L (12)
- Ehrig, H (12)
- Bakker, J (10)
- Symposium on Foundations of Computer Science (10)
- Simon, I (10)
- Ferreira, A (9)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (9)
- International Workshop on Distributed Algorithms (9)
- Workshop on Computer Science Logic (8)
- Salomaa, A (8)
- Van Leeuwen, J (8)
- European Symposium on Programming (8)
- Symposium on Mathematical Foundations of ComputerScience (7)
- Horowitz, E (7)
- International Workshop on Graphtheoretic Conceptsin Computer Science (7)
- International Conference on Rewriting Techniques and Applications (7)
- Allen, J (7)
-
Mais opções
Data de Publicação
- Antes de1986 (259)
- 1986Até1988 (467)
- 1989Até1991 (561)
- 1992Até1995 (961)
- Após 1995 (288)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (1.540)
- ICMC - Inst. Ciên. Mat. Computação (1.180)
- EPBC - Esc. Politécnica-Bib Central (421)
- IFSC - Inst. Física de São Carlos (379)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (126)
- IF - Instituto de Física (98)
- FEA - Fac. Econ. Adm. Contab. e Atuária (57)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (29)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (23)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (23)
- CQ - Conjunto das Químicas (16)
- FE - Faculdade de Educação (15)
- IP - Instituto de Psicologia (14)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (12)
- EACH - Esc. Artes, Ciências e Humanidades (11)
- IEE - Inst. de Energia e Ambiente (10)
- EESC - Esc. Engenharia de São Carlos (9)
- IB - Instituto de Biociências (8)
- PUSPSC - Prefeitura do Campus USP de São Carlos (7)
- FEARP - Fac. Econ. Adm. Cont. de R. Preto (5)
-
Mais opções
Idioma
- Inglês (2.508)
- Português (9)
- Alemão (5)
- Francês (5)
- Sueco (1)
- Russo (1)
- Espanhol (1)
- Vários idiomas (1)
- Italiano (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (107)
- Proceedings (15)
- Theoretical Computer Science (3)
- Theoretical computer science Part B Logic, semantics and theory of programming (1)
- International Journal of Foundations of Computer Science (1)
- Social Science Computer Review (1)
- Algorithmica an international journal in computer science (1)
- World Scientific Series in Computer Science (1)
- Computer Systems Science and Engineering (1)
- CWI newsletter (1)
- Ifip Transactions a. Computer Science and Technology (1)
- Algebraic structures and operator calculus (1)
- CWI QUARTERLY (1)
- Abstracts (1)
- Journal of vlsi and computer systems (1)
- Computer Science: Research and Applicat ions (1)
- Computer science journal of Moldova, Academy of Sciences of Moldova (1)
- Theoretical computer science Part A Algorithms, automata, complexity and games (1)
- Preprints (1)
- Lecture Notes in Artificial Intelligence (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 