Resultados de 1 a 10 de 373 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (372)
- Recursos Online (29)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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) |
| 2 |
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) |
| 3 |
Material Type: Livro
|
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Computers and languages theory and practiceAnton Nijholt 1946-Amsterdam New York North-Holland New York, N.Y., U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988Localização: EPBC - Esc. Politécnica-Bib Central (004.41 N582c ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Programming language conceptsCarlo Ghezzi Mehdi JazayeriNew York Wiley c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.43 G343p2 ) e outros locais(Acessar) |
| 6 |
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) |
| 7 |
Material Type: Livro
|
|
Fundamentals of Programming LanguagesHorowitzSpringer Berlin Heidelberg 1984Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Purely Functional Data StructuresChris OkasakiCambridge Cambridge University Press 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
Current Issues in Computer SimulationNabil R. Adam Ali DogramaciAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 373 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
- Disponível na Biblioteca (372)
- Recursos Online (29)
Refinar Meus Resultados
Tipo de Recurso
- Livros (365)
- Produções Acadêmicas (5)
- Artigos (3)
-
Mais opções
Assunto
- Programming Languages (Electronic Computers) (222)
- Linguagem De Programação (125)
- Metodologia E Técnicas De Computação (82)
- Teoria Da Computação (48)
- Programming Languages (46)
- Electronic Digital Computers (36)
- Técnicas De Programação (Congressos) (31)
- Computer Programming (25)
- C (Computer Program Language) (22)
- Inteligência Artificial (22)
- Formal Languages (22)
- Ciência Da Computação (18)
- Engenharia De Software (16)
- Softwares (16)
- Machine Theory (15)
- Pascal (Computer Program Language) (14)
- Programming (Electronic Computers) (13)
- C++ (Computer program language) (13)
- Functional Programming Languages (13)
- Linguagens Formais (13)
-
Mais opções
Autor/Criador
- European Symposium on Programming (11)
- ACM Special Interest Group for Automata and Computability Theory (9)
- ACM Special Interest Group in Programming Languages (8)
- ACM Symposium on Principles of Programming Languages (8)
- International Static Analysis Symposium (7)
- Spaccapietra, S (7)
- International Workshop on the Implementation of Functional Languages (7)
- International Colloquium on Automata, L (7)
- Association for Computing Machinery (6)
- European Association for Theoretical Computer Science (6)
- Workshop on Languages and Compilers for Parallel Computing (5)
- International Workshop on Declarative Agent Languages and Technologies (5)
- Kernighan, B (4)
- Bakker, J (3)
- Horowitz, E (3)
- Colloquium on Automata, L (3)
- Baldoni, M (3)
- Torroni, P (3)
- Omicini, A (3)
- Mylopoulos, J (2)
-
Mais opções
Data de Publicação
- Antes de1974 (47)
- 1974Até1984 (84)
- 1985Até1995 (128)
- 1996Até2007 (96)
- Após 2007 (20)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (158)
- EPBC - Esc. Politécnica-Bib Central (45)
- IFSC - Inst. Física de São Carlos (28)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (9)
- FEA - Fac. Econ. Adm. Contab. e Atuária (8)
- IF - Instituto de Física (7)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (6)
- EACH - Esc. Artes, Ciências e Humanidades (3)
- ESALQ - Biblioteca LES (3)
- IO - Instituto Oceanográfico (3)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (2)
- CQ - Conjunto das Químicas (2)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (2)
- FOB - Fac. Odontologia de Bauru (2)
- IB - Instituto de Biociências (2)
- FM - Fac. Medicina (1)
- CENA - Cent. En. Nuclear na Agricultura (1)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
-
Mais opções
Idioma
- Inglês (362)
- Francês (8)
- Português (2)
- Indeterminado (2)
- 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: 