skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case

Horn, Tassilo

EPTCS 74, 2011, pp. 295-301

Texto completo disponível

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

SSW library: an SIMD Smith-Waterman C/C++ library for use in genomic applications

Zhao, Mengyao ; Lee, Wan-Ping ; Garrison, Erik P ; Marth, Gabor T

PloS one, 2013, Vol.8(12), pp.e82138 [Periódico revisado por pares]

Texto completo disponível

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

Validating quantum-classical programming models with tensor network simulations

Mccaskey, Alexander ; Dumitrescu, Eugene ; Chen, Mengsu ; Lyakh, Dmitry ; Humble, Travis

PloS one, 2018, Vol.13(12), pp.e0206704 [Periódico revisado por pares]

Texto completo disponível

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

QuantumInformation.jl-A Julia package for numerical computation in quantum information theory.(Research Article)(Report)

Gawron, Piotr ; Kurzyk, Dariusz ; Pawela, Lukasz

PLoS ONE, Dec 26, 2018, Vol.13(12), p.e0209358 [Periódico revisado por pares]

Texto completo disponível

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

Learnable programming: blocks and beyond.(computer programming based on blocks languages)

Bau, David ; Gray, Jeff ; Kelleher, Caitlin ; Sheldon, Josh ; Turbak, Franklyn

Communications of the ACM, 2017, Vol.60(6), p.72(9) [Periódico revisado por pares]

Texto completo disponível

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

A Rewriting View of Simple Typing

Stump, Aaron ; Kimmell, Garrin ; Zantema, Hans ; Omar, Ruba El Haj

Logical Methods in Computer Science, Volume 9, Issue 1 (February 27, 2013) lmcs:936 [Periódico revisado por pares]

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

A Core Calculus for Provenance

Acar, Umut A. ; Ahmed, Amal ; Cheney, James ; Perera, Roly

Journal of Computer Security 21 (2013) 919-969 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

The Essence of JavaScript

Guha, Arjun ; Saftoiu, Claudiu ; Krishnamurthi, Shriram

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic Choreographies: Theory And Implementation

Dalla Preda, Mila ; Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo Giallorenzo, Saverio (Editor)

Logical Methods in Computer Science, 03 May 2017, Vol.13, pp.1-57 [Periódico revisado por pares]

Texto completo disponível

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

Transporting functions across ornaments

Dagand, Pierre-Évariste  ; Mcbride, Conor  Dagand, Pierre-Évariste (Editor)

Journal of Functional Programming, May 2014, Vol.24(2-3), p.67 [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.   

Mostrar Somente

  1. Revistas revisadas por pares (380)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.227)
  2. Anais de Congresso  (110)
  3. Livros  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2005  (9)
  2. 2005Até2007  (31)
  3. 2008Até2010  (152)
  4. 2011Até2014  (421)
  5. Após 2014  (724)
  6. Mais opções open sub menu

Idioma 

  1. Francês  (2)
  2. Alemão  (2)
  3. Japonês  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.