Resultados de 1 a 10 de 223 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (24)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Programming languages: history and fundamentalsJean E. Sammet 1928-Englewood Cliffs, N.J. Prentice-Hall 1969Localização: IF - Instituto de Física (005.133 S189p ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
A theory of programming language semanticsRobert Milne 1948- Christopher StracheyLondon Chapman and Hall etc. 1976Localização: ICMC - Inst. Ciên. Mat. Computação (68Q99 M659t v.2 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Representation and meaning; experiments with information processing systemsHerbert Alexander Simon 1916- Laurent SiklóssyEnglewood Cliffs, N.J. Prentice-Hall 1972Localização: IME - Inst. Matemática e Estatística (QA860.C3 S594r ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Fundamentals of Programming LanguagesHorowitzSpringer Berlin Heidelberg 1984Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Current Issues in Computer SimulationNabil R. Adam Ali DogramaciAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
GAG: A Practical Compiler GeneratorUwe Kastens Brigitte Hutt; Erich ZimmermannSpringer Berlin Heidelberg 1982Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Programming languagesNATO Advanced Study Institute (1966 Villard-de-Lans, France) F Genuys; NATO Science Committee; Université de GrenobleLondon New York Academic P. 1968Localização: IF - Instituto de Física (001.642406 N279p ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
The denotational description of programming languages an introductionMichael J. C. Gordon 1948-New York Springer-Verlag c1979Localização: IME - Inst. Matemática e Estatística (QA816 G664d )(Acessar) |
Resultados de 1 a 10 de 223 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 (24)
Assunto
- Linguagem De Programação (72)
- Metodologia E Técnicas De Computação (50)
- Teoria Da Computação (38)
- Electronic Digital Computers (32)
- Técnicas De Programação (Congressos) (24)
- Computer Programming (18)
- Inteligência Artificial (15)
- Ciência Da Computação (14)
- Langages De Programmation (12)
- Engenharia De Software (11)
- Compilers (Computer Programs) (11)
- Arquitetura E Organização De Computadores (10)
- Softwares (9)
- Computer Algorithms (9)
- Database Management (9)
- Linguagens Formais (9)
- Parallel Processing (Electronic Computers) (8)
- Computer Science (8)
- Montadores E Compiladores (7)
-
Mais opções
Autor/Criador
- European Symposium on Programming (11)
- ACM Special Interest Group in Programming Languages (8)
- ACM Special Interest Group for Automata and Computability Theory (8)
- ACM Symposium on Principles of Programming Languages (8)
- International Static Analysis Symposium (7)
- Spaccapietra, S (7)
- Association for Computing Machinery (6)
- Workshop on Languages and Compilers for Parallel Computing (5)
- International Workshop on Declarative Agent Languages and Technologies (5)
- Horowitz, E (3)
- Baldoni, M (3)
- Torroni, P (3)
- Omicini, A (3)
- Odersky, M (2)
- Salomaa, A (2)
- Chu, Y (2)
- Jazayeri, M (2)
- Rustin, R (2)
- Hankin, C (2)
- Lee, P (2)
-
Mais opções
Data de Publicação
- Antes de1972 (32)
- 1972Até1980 (45)
- 1981Até1989 (49)
- 1990Até2000 (36)
- Após 2000 (62)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (113)
- EPBC - Esc. Politécnica-Bib Central (36)
- IFSC - Inst. Física de São Carlos (15)
- FEA - Fac. Econ. Adm. Contab. e Atuária (5)
- IF - Instituto de Física (5)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (4)
- IO - Instituto Oceanográfico (3)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- ESALQ - Biblioteca LES (1)
- ESALQ - Biblioteca Central (1)
- CENA - Cent. En. Nuclear na Agricultura (1)
- IB - Instituto de Biociências (1)
- FAU - Fac. Arquitetura e Urbanismo (1)
-
Mais opções
Idioma
- Inglês (214)
- Francês (8)
- Alemão (1)
- Indeterminado (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 