Resultados de 1 a 10 de 349 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (16)
assunto:
Metodologia E Técnicas De Computação
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Handbook of theoretical computer scienceJ. van Leeuwen (Jan)Amsterdam New York Elsevier Cambridge, Mass. MIT Press 1990Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 L519h v.B ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Computer science, a first courseAlexandra I ForsytheNew York Wiley 1975Localização: FMRP - Fac. Medicina de Ribeirão Preto (681.3.00'08 F735c ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Computer science a first courseAlexandra I Forsythe; T. A Keenan (Thomas Aquinas)New York Wiley 1969Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (004.071 C737 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Introduction to programming and computer scienceAnthony RalstonNew York McGraw-Hill 1971Localização: EPBC - Esc. Politécnica-Bib Central (004.386 R139i ) e outros locais(Acessar) |
| 5 |
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) |
| 6 |
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) |
| 7 |
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) |
| 8 |
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) |
| 9 |
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) |
| 10 |
Material Type: Livro
|
|
Algebraic Specification Techniques in Object Oriented Programming EnvironmentsRuth BreuSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 349 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
- Recursos Online (16)
Refinar Meus Resultados
Tipo de Recurso
- Livros (340)
- Artigos (6)
- Produções Acadêmicas (1)
- Software (1)
- Audiovisuais (1)
- Revistas (1)
-
Mais opções
Assunto
- Técnicas De Programação (Congressos) (90)
- Técnicas De Programação (55)
- Linguagem De Programação (52)
- Engenharia De Software (39)
- Electronic Digital Computers (36)
- Ciência Da Computação (32)
- Programming Languages (Electronic Computers) (31)
- Teoria Da Computação (31)
- Object-Oriented Programming (Computer Science) (24)
- Arquitetura E Organização De Computadores (22)
- Logic Programming (21)
- Computer Software (19)
- Programação Lógica (Congressos) (18)
- Programação Orientada A Objetos (Congressos) (17)
- Computação Aplicada (17)
- Parallel Processing (Electronic Computers) (17)
- Programação Lógica (13)
- Softwares (13)
- Inteligência Artificial (12)
- Algoritmos E Estruturas De Dados (12)
-
Mais opções
Autor/Criador
- International Conference on Concurrency Theory (6)
- International Workshop on Programming Languages Implementation and Logic Programming (6)
- International Static Analysis Symposium (5)
- Bauer, F (5)
- International Joint Conference on Theory and Practice of Software Development (5)
- European Symposium on Programming (5)
- European Conference on Object-Oriented Programming (4)
- International Workshop on the Implementation of Functional Languages (4)
- Forsythe, A (4)
- Conference on Parallel Architectures and Languages Europe (4)
- Ullman, J (4)
- International Symposium on Design and Implementation of Symbolic Computation Systems (4)
- Jones, N (3)
- Dongarra, J (3)
- Kuchen, H (3)
- Gornostaev, J (3)
- Logic Programming Conference (3)
- Joint International Conference on Vector and Parallel Processing (3)
- Conference on Mathematics of Program Construction (3)
- Yonezawa, A (3)
-
Mais opções
Data de Publicação
- Antes de1973 (16)
- 1973Até1980 (44)
- 1981Até1988 (81)
- 1989Até1997 (154)
- Após 1997 (55)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (233)
- IFSC - Inst. Física de São Carlos (68)
- EPBC - Esc. Politécnica-Bib Central (30)
- FEA - Fac. Econ. Adm. Contab. e Atuária (9)
- IF - Instituto de Física (9)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (6)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (5)
- PUSPSC - Prefeitura do Campus USP de São Carlos (3)
- EACH - Esc. Artes, Ciências e Humanidades (2)
- FMRP - Fac. Medicina de Ribeirão Preto (2)
- IO - Instituto Oceanográfico (2)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (2)
- ESALQ - Biblioteca LES (1)
- ESALQ - Biblioteca Central (1)
- FMRAD - Fac. Medicina-Depto. Radiologia (1)
- IB - Instituto de Biociências (1)
- IQSC - Inst. Química de São Carlos (1)
- EEL - Engenharia de Materiais (1)
-
Mais opções
Idioma
- Inglês (346)
- 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: 