Resultados de 1 a 10 de 167 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (11)
data de publicação:
1979Até1981
nível superior:
Disponível na Biblioteca
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Theoretical computer scienceTheoretical Computer Science Conference, 4., Aachen, 1979 Klaus WeihrauchBerlin Springer 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.67 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Theoretical computer scienceTheoretical Computer Science Conference, 5., Karlsruhe, 1981 Peter DeussenBerlin Springer 1981Localização: IME - Inst. Matemática e Estatística (S L471c v.104 )(Acessar) |
| 3 |
Material Type: Livro
|
|
A basis for theoretical computer scienceMichael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N MollNew York Springer-Verlag c1981Localização: IME - Inst. Matemática e Estatística (QA800 A664b )(Acessar) |
| 4 |
Material Type: Livro
|
|
An Introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-Auckland McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i )(Acessar) |
| 5 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 1979BecvarSpringer Berlin Heidelberg 1979Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
An introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-New York McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i Short.ed. )(Acessar) |
| 7 |
Material Type: Livro
|
|
Graphtheoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Concepts in Computer Science. 6., Bad Honnef, 1980 Hartmut NoltemeierBerlin Springer 1981Localização: IME - Inst. Matemática e Estatística (S L471c v.100 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Graph-grammars and their application to computer science and biology proceedingsInternational Workshop on Graph Grammars and Their Applications To Computer Science and Biology (1. 1978 Bad Honneff) Volker Claus; Hartmut EhrigBerlin Springer 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.73 e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto RicoSymposium on Foundations of Computer Science (20th 1979 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Puerto Rico; Institute of Electrical and Electronics EngineersNew York Institute of Electrical and Electronics Engineers 1979Localização: IME - Inst. Matemática e Estatística (QA800.C S989 20. )(Acessar) |
| 10 |
Material Type: Livro
|
|
Nonlinear programming via an exact penalty function asymptotic analysisThomas F. Coleman A. R Conn 1946- (Andrew Roger); University of Waterloo Dept. of Computer ScienceWaterloo, Ont. Dept. of Computer Science, University of Waterloo 1980Localização: IME - Inst. Matemática e Estatística (QA392 C692n )(Acessar) |
Resultados de 1 a 10 de 167 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
- Recursos Online (11)
Refinar Meus Resultados
Tipo de Recurso
- Livros (161)
- Produções Acadêmicas (2)
- Revistas (2)
- Recursos Textuais (1)
- Artigos (1)
-
Mais opções
Assunto
- Metodologia E Técnicas De Computação (24)
- Teoria Da Computação (21)
- Electronic Digital Computers (16)
- Ciência Da Computação (13)
- Data Structures (Computer Science) (11)
- Computer Programs (9)
- Engenharia De Software (9)
- Teoria Da Computação (Congressos) (9)
- Computers (8)
- Computação Aplicada (8)
- Softwares (8)
- Programming Languages (Electronic Computers) (8)
- Linguagens Formais (8)
- Electronic Data Processing (7)
- Formal Languages (7)
- Técnicas De Programação (6)
- Inteligência Artificial (6)
- Algoritmos E Estruturas De Dados (6)
- Computação Gráfica (6)
- Linguagem De Programação (6)
-
Mais opções
Autor/Criador
- Rheinboldt, W (4)
- IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (4)
- Symposium on Foundations of Computer Science (3)
- Bunt, R (2)
- Theoretical Computer Science Conference (2)
- Bakker, J (2)
- Symposium on Mathematical Foundations of ComputerScience (2)
- Kowalski, R (2)
- Welsh, J (2)
- ACM Symposium on Theory of Computing (2)
- Even, S (2)
- Bolc, L (2)
- Ullman, J (2)
- Colloquium on Automata, L (2)
- Gordon, M (2)
- Gonnet, G (2)
- ACM Special Interest Group for Automata and Computability Theory (2)
- Milner, R (2)
- University of Waterloo Dept. of Computer Science (2)
- McGettrick, A (2)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (124)
- ICMC - Inst. Ciên. Mat. Computação (63)
- EPBC - Esc. Politécnica-Bib Central (27)
- IF - Instituto de Física (6)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (5)
- IFSC - Inst. Física de São Carlos (5)
- FEA - Fac. Econ. Adm. Contab. e Atuária (3)
- IO - Instituto Oceanográfico (3)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (2)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- IGC - Instituto de Geociências (1)
- FORP - Fac. Odont. de Ribeirão Preto (1)
- ESALQ - Biblioteca Central (1)
- CEBIMAR - Centro de Biologia Marinha (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- EEL - Biotecnologia e Química (1)
- FAU - Fac. Arquitetura e Urbanismo (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
- EEL - Engenharia de Materiais (1)
-
Mais opções
Idioma
- Inglês (166)
- Tcheco (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 