skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Mathematics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Computer methods in mathematics

Bob Albrecht 1930- Eric Lindberg; Walter Mara

Menlo Park, Calif. Addison-Wesley Pub. Co 1969

Localização: EPBC - Esc. Politécnica-Bib Central    (681.31 AL15c ) e outros locais(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Temporal Frequent Value Locality

Orosa; Lois; Rodolfo Universidade Estadual de Campinas (Unicamp)

WOS

IEEE; New York 2016

Acesso online

3
Material Type:
Artigo
Adicionar ao Meu Espaço

The challenge of cross-language interoperability.(Practice)(Report)

Chisnall, David

Communications of the ACM, Dec, 2013, Vol.56(12), p.50(7) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

OCaml for the masses

Minsky, Yaron

Communications of the ACM, Nov, 2011, Vol.54(11), p.53(7) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Multitier programming in Hop

Serrano, Manuel ; Berry, Gerard

Communications of the ACM, August, 2012, Vol.55(8), p.53(7) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

DSL for the uninitiated.(domain-specific language)

Ghosh, Debasish

Communications of the ACM, July, 2011, Vol.54(7), p.44(7) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

A decade of software model checking with SLAM.(Report)

Ball, Thomas ; Levin, Vladimir ; Rajamani, Sriram K.

Communications of the ACM, July, 2011, Vol.54(7), p.68(9) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

An introduction to data representation synthesis.(Report)

Hawkins, Peter ; Rinad, Martin ; Aiken, Alex ; Sagiv, Mooly ; Fisher, Kathleen

Communications of the ACM, Dec, 2012, Vol.55(12), p.91(9) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Creating languages in Racket.(Practice)

Flatt, Matthew

Communications of the ACM, Jan, 2012, Vol.55(1), p.48(9) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

It probably works.(probabilistic algorithms)

Mcmullen, Tyler

Communications of the ACM, 2015, Vol.58(11), p.50(5) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (636)
  2. Anais de Congresso  (168)
  3. Livros  (154)
  4. Book Chapters  (99)
  5. Relatórios Técnicos  (43)
  6. Resenhas  (7)
  7. Dissertações  (5)
  8. Recursos Textuais  (2)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1972  (49)
  2. 1972Até1983  (85)
  3. 1984Até1995  (211)
  4. 1996Até2008  (364)
  5. Após 2008  (420)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.042)
  2. Indeterminado  (7)
  3. Português  (2)
  4. Alemão  (2)
  5. Espanhol  (2)
  6. Francês  (1)
  7. Sueco  (1)
  8. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.