Resultados de 11 a 20 de 457 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (450)
- Recursos Online (21)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
The Correctness problem in computer scienceRobert S Boyer; J Strother Moore 1947-London New York Academic Press 1981Localização: IME - Inst. Matemática e Estatística (QA754.C3 B791c )(Acessar) |
| 12 |
Material Type: Livro
|
|
Maple user's manualK. O. Geddes (Keith O.), 1947- Gaston H Gonnet; Bruce W Char; University of Waterloo Dept. of Computer ScienceWaterloo, Ont. University of Waterloo Computer Science Dept. 1982Localização: IME - Inst. Matemática e Estatística (QA762.7 G295mM )(Acessar) |
| 13 |
Material Type: Livro
|
|
A logical language for data and knowledge basesShamim Naqvi Shalom TsurNew York Computer Science Press c1989Localização: IME - Inst. Matemática e Estatística (QA754 N217L )(Acessar) |
| 14 |
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science proceedingsConference on Foundations of Software Technology and Theoretical Computer Science, 4., Bangalore, 1984 Mathai Joseph; Rudrapatna ShyamasundarBerlin Springer 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.181 )(Acessar) |
| 15 |
Material Type: Livro
|
|
Parallel programmingRonald H. Perrott 1942-Wokingham, England Reading, Mass. Addison-Wesley Pub. Co. c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.272 P429p ) e outros locais(Acessar) |
| 16 |
Material Type: Livro
|
|
Concurrent programmingC. R. SnowCambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
| 17 |
Material Type: Livro
|
|
Algebraic Specification Techniques in Object Oriented Programming EnvironmentsRuth BreuSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
| 18 |
Material Type: Livro
|
|
Type theory and functional programmingSimon ThompsonWokingham, England Reading, Mass. Addison-Wesley c1991Localização: IME - Inst. Matemática e Estatística (QA754 T476t )(Acessar) |
| 19 |
Material Type: Livro
|
|
Computer science; a primerAlexandra I Forsythe; School Mathematics Study GroupNew York Wiley 1969Localização: ICMC - Inst. Ciên. Mat. Computação (68P05.01 F735cs e.1 ) e outros locais(Acessar) |
| 20 |
Material Type: Livro
|
|
Introduction to computer science mathematicsRobert V. JamisonNew York McGraw-Hill 1973Localização: ICMC - Inst. Ciên. Mat. Computação (68P05.01 J32i e.1 ) e outros locais(Acessar) |
Resultados de 11 a 20 de 457 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 (450)
- Recursos Online (21)
Refinar Meus Resultados
Tipo de Recurso
- Livros (446)
- Artigos (8)
- Produções Acadêmicas (1)
- Software (1)
- Audiovisuais (1)
- Revistas (1)
-
Mais opções
Assunto
- Técnicas De Programação (Congressos) (90)
- Linguagem De Programação (68)
- Técnicas De Programação (55)
- Engenharia De Software (49)
- Electronic Digital Computers (47)
- Object-Oriented Programming (Computer Science) (40)
- Ciência Da Computação (37)
- Programming Languages (Electronic Computers) (37)
- Teoria Da Computação (35)
- Computer Software (30)
- Logic Programming (30)
- Computação Aplicada (25)
- Arquitetura E Organização De Computadores (24)
- Parallel Processing (Electronic Computers) (23)
- Programação Concorrente (23)
- Algoritmos E Estruturas De Dados (21)
- Inteligência Artificial (19)
- Programação Lógica (Congressos) (18)
- Programação Orientada A Objetos (Congressos) (17)
- Computer Science (17)
-
Mais opções
Autor/Criador
- International Conference on Concurrency Theory (7)
- International Static Analysis Symposium (6)
- International Workshop on Programming Languages Implementation and Logic Programming (6)
- European Symposium on Programming (6)
- European Conference on Object-Oriented Programming (5)
- International Workshop on the Implementation of Functional Languages (5)
- Bauer, F (5)
- International Joint Conference on Theory and Practice of Software Development (5)
- Forsythe, A (4)
- International Conference on Typed Lambda Calculi and Applications (4)
- Conference on Parallel Architectures and Languages Europe (4)
- Ullman, J (4)
- Knuth, D (4)
- International Symposium on Design and Implementation of Symbolic Computation Systems (4)
- Katzan, H (3)
- International Conference on Human-Computer Interaction (3)
- Wegner, P (3)
- Koza, J (3)
- Nierstrasz, O (3)
- Oliveira, J (3)
-
Mais opções
Data de Publicação
- Antes de1972 (17)
- 1972Até1980 (55)
- 1981Até1989 (115)
- 1990Até1999 (220)
- Após 1999 (51)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (349)
- ICMC - Inst. Ciên. Mat. Computação (301)
- IFSC - Inst. Física de São Carlos (97)
- EPBC - Esc. Politécnica-Bib Central (58)
- FEA - Fac. Econ. Adm. Contab. e Atuária (16)
- IF - Instituto de Física (11)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (7)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (6)
- PUSPSC - Prefeitura do Campus USP de São Carlos (3)
- EACH - Esc. Artes, Ciências e Humanidades (2)
- ESALQ - Biblioteca LES (2)
- FMRP - Fac. Medicina de Ribeirão Preto (2)
- IO - Instituto Oceanográfico (2)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (2)
- IB - Instituto de Biociências (2)
- ESALQ - Biblioteca Central (1)
- FMRAD - Fac. Medicina-Depto. Radiologia (1)
- EESC - Esc. Engenharia de São Carlos (1)
- IQSC - Inst. Química de São Carlos (1)
- EEL - Engenharia de Materiais (1)
-
Mais opções
Idioma
- Inglês (454)
- Alemão (2)
- Vários idiomas (1)
- Francês (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 