Resultados de 1 a 10 de 87 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (85)
- Recursos Online (7)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Formal Syntax and Semantics of JavaJim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Formal semantics the essential readingsPaul Portner; Barbara Hall ParteeOxford Blackwell Malden, MA c2002Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (420 F82 e.2 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Formal semantics of Programming languagesCourant Computer Science Symposium (2nd 1970 New York) Randall RustinEnglewood, Cliffs, N.J. Prentice-Hall 1972Localização: EPBC - Esc. Politécnica-Bib Central (004.43 C833 2. ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Formal semantics an introductionRonnie CannNew York Cambridge Cambridge University Press 1994Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (412 C228f e.3 )(Acessar) |
| 6 |
Material Type: Relatório Técnico
|
|
A formal semantics for finalizersMarcus Amorin Leal Roberto IerusalimschyRio de Janeiro PUC 2005Localização: IME - Inst. Matemática e Estatística (S M751 2005 v.19 )(Acessar) |
| 7 |
Material Type: Livro
|
|
What is meaning? fundamentals of formal semanticsPaul PortnerOxford Blackwell Pub 2008Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (412 P88w )(Acessar) |
| 8 |
Material Type: Relatório Técnico
|
|
A formal semantics for the JamSession coordination platformMirtha Lina Fernández Venero Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2012Localização: IME - Inst. Matemática e Estatística (RT-MAC 2012 v.5 )(Acessar) |
| 9 |
Material Type: Livro
|
|
The formal semantics of programming languages an introductionG WinskelCambridge Mit Press 1993Localização: IME - Inst. Matemática e Estatística (QA816 W777f )(Acessar) |
| 10 |
Material Type: Livro
|
|
Doing worlds with words formal semantics without formal metaphysicsJaroslav PeregrinDordrecht Kluwer Academic c1995Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 P435d )(Acessar) |
Resultados de 1 a 10 de 87 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 (85)
- Recursos Online (7)
Refinar Meus Resultados
Tipo de Recurso
- Livros (49)
- Produções Acadêmicas (35)
- Produções Técnicas (2)
- Artigos (1)
-
Mais opções
Assunto
- Semantics (20)
- Semântica (18)
- Engenharia De Software (8)
- Programming Languages (Electronic Computers) (8)
- Semântica Formal (7)
- Teoria Da Computação (7)
- Inteligência Artificial (6)
- Semantics (Philosophy) (6)
- Formal Languages (6)
- Logic (6)
- Linguística (5)
- Ciência Da Computação (5)
- Lógica (4)
- Linguística Computacional (4)
- Metodologia E Técnicas De Computação (4)
- Pragmatics (4)
- Linguagem De Programação (4)
- Pragmática (3)
- Semântica (Filosofia) (3)
- Natural Language Processing (Computer Science) (3)
-
Mais opções
Autor/Criador
- Muller, A (6)
- Carnielli, W (3)
- Lappin, S (3)
- Gabbay, D (2)
- Universidade Estadual De Campinas (2)
- Simão, A (2)
- Epstein, R (2)
- Masiero, P (2)
- Universidade Estadual De Campinas Instituto De Filosofia E Ciências Humanas (2)
- Santana, M (2)
- Alves-Foss, J (2)
- Portner, P (2)
- Finger, M (2)
- Sanchez-Mendes, L (2)
- Silva, F (2)
- Peters, S (2)
- Coniglio, M (2)
- Viaro, M (2)
- Mena, M (1)
- Domansky, R (1)
-
Mais opções
Data de Publicação
- Antes de1988 (11)
- 1988Até1995 (11)
- 1996Até2002 (25)
- 2003Até2011 (25)
- Após 2011 (15)
-
Mais opções
Biblioteca
- FFLCH - Fac. Fil. Let. e Ciências Humanas (35)
- IME - Inst. Matemática e Estatística (33)
- ICMC - Inst. Ciên. Mat. Computação (19)
- EPBC - Esc. Politécnica-Bib Central (6)
- IFSC - Inst. Física de São Carlos (5)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (2)
- EE - Escola de Enfermagem (1)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
- FMRP - Fac. Medicina de Ribeirão Preto (1)
- EERP - Esc. Enfermagem Ribeirão Preto (1)
-
Mais opções
Idioma
- Inglês (56)
- Português (31)
- Indeterminado (2)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 