Resultados de 11 a 20 de 57 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
nível superior:
Recursos Online
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
| 12 |
Material Type: Livro
|
|
|
| 13 |
Material Type: Livro
|
|
Modeling Languages in Mathematical OptimizationJosef KallrathSpringer US 2004Acesso online. A biblioteca também possui exemplares impressos. |
| 14 |
Material Type: Livro
|
|
LISP Lore: A Guide to Programming the LISP MachineBromley Richard LamsonSpringer US 1987Acesso online. A biblioteca também possui exemplares impressos. |
| 15 |
Material Type: Livro
|
|
Computational semantics with functional programmingJan Eijck Christina Unger; Jan van Eijck Christina UngerLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 16 |
Material Type: Livro
|
|
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 17 |
Material Type: Livro
|
|
Purely Functional Data StructuresChris OkasakiCambridge Cambridge University Press 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 18 |
Material Type: Livro
|
|
Current Issues in Computer SimulationNabil R. Adam Ali DogramaciAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
| 19 |
Material Type: Livro
|
|
Languages, Compilers and Run-time Environments for Distributed Memory MachinesJ. Saltz P MehrotraNorth-Holland 1992Acesso online. A biblioteca também possui exemplares impressos. |
| 20 |
Material Type: Livro
|
|
Guidebook to Fortran on SupercomputersJohn M. Levesque Joel W WilliamsonAcademic Press 1989Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 11 a 20 de 57 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (54)
- Produções Técnicas (1)
- Software (1)
- Artigos (1)
- Revistas (1)
-
Mais opções
Assunto
- Programming Languages (Electronic Computers) (34)
- Linguagem De Programação (11)
- Técnicas De Programação (Congressos) (10)
- Langages De Programmation (9)
- Programming languages (4)
- Database Management (4)
- Programmanalyse (3)
- Parallel Programming (Computer Science) (3)
- Langage De Programmation (3)
- Inteligência Artificial (3)
- Electronic Data Processing (3)
- Computer Programming (3)
- Sistemas Multiagentes (Congressos) (3)
- Functional Programming Languages (3)
- Montadores E Compiladores (3)
- Compilers (Computer Programs) (3)
- Programmverifikation (3)
- Electronic Digital Computers (3)
- Programmation (Informatique) (3)
- Inteligência Artificial (Congressos) (3)
-
Mais opções
Autor/Criador
- Spaccapietra, S (3)
- International Workshop on Declarative Agent Languages and Technologies (3)
- International Static Analysis Symposium (2)
- International Workshop on the Implementation of Functional Languages (2)
- Aberer, K (2)
- Trinder, P (2)
- Hartmanis, J (2)
- Asian Computing Science Conference (2)
- Michaelson, G (2)
- Torroni, P (2)
- Leite, J (2)
- Omicini, A (2)
- Van Leeuwen, J (2)
- Horowitz, E (1)
- Pe na, R (1)
- Cudr e-Mauroux, P (1)
- Hermenegildo, M (1)
- Kallrath, J (1)
- Ferreira, M (1)
- Saltz, J (1)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (33)
- ICMC - Inst. Ciên. Mat. Computação (30)
- EPBC - Esc. Politécnica-Bib Central (8)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (3)
- IB - Instituto de Biociências (2)
- ESALQ - Biblioteca LES (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- ESALQ - Biblioteca Central (1)
- FOB - Fac. Odontologia de Bauru (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- IF - Instituto de Física (1)
- IFSC - Inst. Física de São Carlos (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 