Resultados de 1 a 10 de 44 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (2)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
A compiler generatorW. M. McKeeman (William Marshall) J. J Horning (James J.); D. B Wortman (David B.)Englewood Cliffs, N.J. Prentice-Hall 1970Localização: EPBC - Esc. Politécnica-Bib Central (004.4 M194c ) e outros locais(Acessar) |
| 3 |
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) |
| 4 |
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) |
| 5 |
Material Type: Livro
|
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
A view of programming languagesBernard A. Galler (Bernard Aaron) 1928- Alan J PerlisReading, Mass. Addison-Wesley Pub. Co 1970Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.01 G166v e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Recursive functions in computer theoryRózsa Péter 1905- I JuhászChichester New York Ellis Horwood c1981Localização: IME - Inst. Matemática e Estatística (QA800 P478rI )(Acessar) |
| 8 |
Material Type: Livro
|
|
Denotational semantics the Scott-Strachey approach to programming language theoryJoseph StoyCambridge, Mass. MIT Press 1981, c1977Localização: ICMC - Inst. Ciên. Mat. Computação (68Q99 S891d e.1 )(Acessar) |
| 9 |
Material Type: Livro
|
|
Algebraic approaches to program semanticsErnest G. Manes 1943- Michael A ArbibNew York Springer-Verlag c1986Localização: IME - Inst. Matemática e Estatística (QA816 M274a e.2 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Control flow semanticsJ. W. de Bakker 1939- (Jacobus Willem) Erik de VinkCambridge, Mass. MIT Press c1996Localização: IME - Inst. Matemática e Estatística (QA816 B168c )(Acessar) |
Resultados de 1 a 10 de 44 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 (2)
Refinar Meus Resultados
Assunto
- Teoria Da Computação (41)
- Programming Languages (Electronic Computers)–Congresses (20)
- Programming Languages (Electronic Computers)–Semantics (14)
- Linguagem De Programação (8)
- Computer Science (5)
- Ciência Da Computação (4)
- Electronic Digital Computers (4)
- Machine Theory (4)
- Metodologia E Técnicas De Computação (3)
- Teoria Da Computação (Congressos) (3)
- Sequential Machine Theory (3)
- Formal Languages (3)
- Montadores E Compiladores (3)
- Linguagens Formais (3)
- Parallel Processing (Electronic Computers) (2)
- Recursive Functions (2)
- Programming Languages (Electronic Computers)–Syntax (2)
- Computabilidade E Complexidade (2)
- Programming (2)
- Compilers (Computer Programs) (2)
-
Mais opções
Autor/Criador
- ACM Symposium on Principles of Programming Languages (8)
- ACM Special Interest Group for Automata and Computability Theory (8)
- ACM Special Interest Group in Programming Languages (8)
- Association for Computing Machinery (4)
- International Colloquium on Automata, L (3)
- Stoy, J (2)
- Gordon, M (2)
- Winkowski, J (1)
- George, C (1)
- Skyum, S (1)
- Colloquium on Automata, L (1)
- McKeeman, W (1)
- Péter, R (1)
- Woodcock, J (1)
- Juhász, I (1)
- Longo, G (1)
- ICALP 82 (1)
- Wortman, D (1)
- Asperti, A (1)
- Clifford, J (1)
-
Mais opções
Data de Publicação
- Antes de1976 (10)
- 1976Até1980 (10)
- 1981Até1986 (9)
- 1987Até1996 (9)
- Após 1996 (6)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (41)
- ICMC - Inst. Ciên. Mat. Computação (23)
- IFSC - Inst. Física de São Carlos (4)
- EPBC - Esc. Politécnica-Bib Central (4)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (1)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 