Resultados de 1 a 10 de 342 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (338)
- Recursos Online (34)
| 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
|
|
Programming Language PragmaticsMichael Lee Scott Michael L ScottMorgan Kaufmann 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
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) |
| 4 |
Material Type: Livro
|
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
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) |
| 6 |
Material Type: Livro
|
|
Fundamentals of Programming LanguagesHorowitzSpringer Berlin Heidelberg 1984Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Current Issues in Computer SimulationNabil R. Adam Ali DogramaciAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
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) |
| 10 |
Material Type: Livro
|
|
|
Resultados de 1 a 10 de 342 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
- Disponível na Biblioteca (338)
- Recursos Online (34)
Assunto
- Programming Languages (Electronic Computers) (316)
- Linguagem De Programação (120)
- Metodologia E Técnicas De Computação (65)
- Electronic Digital Computers (52)
- Teoria Da Computação (50)
- Técnicas De Programação (Congressos) (24)
- Computer Programming (24)
- Ciência Da Computação (24)
- Engenharia De Software (23)
- Formal Languages (19)
- Inteligência Artificial (18)
- Arquitetura E Organização De Computadores (15)
- Programming (Electronic Computers) (15)
- Langages De Programmation (15)
- Compilers (Computer Programs) (15)
- Linguagens Formais (13)
- Electronic Data Processing (12)
- Programming languages (12)
- Softwares (12)
- Database Management (12)
-
Mais opções
Autor/Criador
- Association for Computing Machinery (13)
- European Symposium on Programming (12)
- International Static Analysis Symposium (10)
- ACM Special Interest Group in Programming Languages (10)
- ACM Special Interest Group for Automata and Computability Theory (9)
- Spaccapietra, S (8)
- ACM Symposium on Principles of Programming Languages (8)
- Sigarch (6)
- Workshop on Languages and Compilers for Parallel Computing (5)
- International Conference on Architectural Support for Programming Languages and Operating Systems (5)
- International Workshop on Declarative Agent Languages and Technologies (5)
- International Colloquium on Automata, L (5)
- ACM Special Interest Group on Programming Languages (4)
- European Association for Theoretical Computer Science (4)
- Joint Modular Languages Conference (4)
- Horowitz, E (3)
- Ghezzi, C (3)
- Friedman, D (3)
- Baldoni, M (3)
- Jazayeri, M (3)
-
Mais opções
Data de Publicação
- Antes de1973 (52)
- 1973Até1982 (77)
- 1983Até1992 (77)
- 1993Até2003 (71)
- Após 2003 (66)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (239)
- ICMC - Inst. Ciên. Mat. Computação (181)
- EPBC - Esc. Politécnica-Bib Central (61)
- IFSC - Inst. Física de São Carlos (24)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (13)
- FEA - Fac. Econ. Adm. Contab. e Atuária (10)
- IF - Instituto de Física (8)
- IO - Instituto Oceanográfico (5)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (5)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (4)
- ESALQ - Biblioteca Central (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- ECA - Escola de Comunicações e Artes (1)
- IGC - Instituto de Geociências (1)
- ESALQ - Biblioteca LES (1)
- MAE - Museu Arqueologia e Etnologia (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- IB - Instituto de Biociências (1)
- FAU - Fac. Arquitetura e Urbanismo (1)
- FD - Fac. Direito (1)
-
Mais opções
Idioma
- Inglês (325)
- Francês (14)
- Português (2)
- 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: 