Resultados de 1 a 10 de 172 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (28)
- Disponível na Biblioteca (170)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Computer scienceAlfonso F. Cardenas Leon Presser; Miguel A MarinNew York Wiley-Interscience 1972Localização: IME - Inst. Matemática e Estatística (QA700.C3 C266c )(Acessar) |
| 2 |
Material Type: Livro
|
|
Mathematical foundations of computer science, 1978 proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978Symposium on Mathematical Foundations of Computer Science (1972- ) (7th 1978 Zakopane, Poland) Józef Winkowski 1934-Berlin New York Springer-Verlag 1978Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.64 ex.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedingsAsian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor VianuBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedingsAsian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis LassezBerlin Springer-Verlag New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
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) |
| 6 |
Material Type: Livro
|
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Natural language at the computer proceedingsScientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication (1988 Heidelberg, Germany) A Blaser 1933- (Albrecht); IBM Deutschland Wissenschaftliches ZentrumBerlin New York Springer-Verlag c1988Localização: IME - Inst. Matemática e Estatística (S L471c v.32o )(Acessar) |
| 8 |
Material Type: Livro
|
|
Data abstraction in programming languagesJ. M. Bishop 1951- (Judith Mary)Wokingham, England Reading, Mass. Addison-Wesley c1986Localização: IME - Inst. Matemática e Estatística (QA762 B622d )(Acessar) |
| 9 |
Material Type: Livro
|
|
Journal on data semantics IVStefano Spaccapietra 1944 - Informatiker, Italien, Frankreich, Schweiz; Stefano Spaccapietra 1944 - Computer scientist, Italy, France, Switzerland; Stefano Spaccapietra 1944 - Informaticien, Italie, France, SuisseBerlin Springer 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3730 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Computer science achievements and opportunities : reportNational Science Foundation (U.S.) Advisory Committee for Computer Research John E. Hopcroft 1939-; Kenneth W KennedyPhiladelphia, PA Society for Industrial and Applied Mathematics 1989Localização: IFSC - Inst. Física de São Carlos (004 H791c )(Acessar) |
Resultados de 1 a 10 de 172 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 (28)
- Disponível na Biblioteca (170)
Refinar Meus Resultados
Assunto
- Programming Languages (Electronic Computers)–Congresses (68)
- Linguagem De Programação (53)
- Programming Languages (Electronic Computers)–Semantics (44)
- Metodologia E Técnicas De Computação (37)
- Teoria Da Computação (24)
- Técnicas De Programação (Congressos) (24)
- Computer Programming (20)
- Electronic Digital Computers (18)
- Engenharia De Software (15)
- Langages De Programmation (15)
- Compilers (Computer Programs) (12)
- Computer Science (11)
- Inteligência Artificial (11)
- Database Management (10)
- Ciência Da Computação (10)
- Parallel Processing (Electronic Computers) (9)
- Data Structures (Computer Science) (7)
- Arquitetura E Organização De Computadores (7)
- Linguagens Formais (7)
- Programação Lógica (Congressos) (7)
-
Mais opções
Autor/Criador
- European Symposium on Programming (12)
- International Static Analysis Symposium (10)
- Spaccapietra, S (8)
- International Workshop on Declarative Agent Languages and Technologies (5)
- Workshop on Languages and Compilers for Parallel Computing (5)
- Joint Modular Languages Conference (4)
- Omicini, A (3)
- Baldoni, M (3)
- Torroni, P (3)
- International Colloquium on Automata, L (3)
- Hartmanis, J (2)
- Horowitz, E (2)
- International Workshop on Database Programming Languages (2)
- Stoy, J (2)
- Jones, N (2)
- Gordon, M (2)
- Pæaun, G (2)
- Hermenegildo, M (2)
- Aberer, K (2)
- Tucker, A (2)
-
Mais opções
Data de Publicação
- Antes de1977 (18)
- 1977Até1984 (25)
- 1985Até1992 (30)
- 1993Até2002 (50)
- Após 2002 (49)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (134)
- ICMC - Inst. Ciên. Mat. Computação (119)
- IFSC - Inst. Física de São Carlos (22)
- EPBC - Esc. Politécnica-Bib Central (18)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (4)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (2)
- IO - Instituto Oceanográfico (2)
- FEA - Fac. Econ. Adm. Contab. e Atuária (2)
- FAU - Fac. Arquitetura e Urbanismo (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
-
Mais opções
Idioma
- Inglês (171)
- Indeterminado (1)
- Alemão (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 