skip to main content
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Journals All 2022 remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Derivation of efficient parallel programs: An example from genetic sequence analysis
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Derivation of efficient parallel programs: An example from genetic sequence analysis

Singh, A K ; Overbeek, R

United States 1990

Texto completo disponível

2
Forbidden-set distance labels for graphs of bounded doubling dimension
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Forbidden-set distance labels for graphs of bounded doubling dimension

Abraham, Ittai ; Chechik, Shiri ; Gavoille, Cyril ; Peleg, David

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2010, p.192-200 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

3
Projecting CLP(R) constraints
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Projecting CLP(R) constraints

JAFFAR, J ; MAHER, M. J ; STUCKEY, P. J ; YAP, R. H. C

New generation computing, 1993, Vol.11 (3-4), p.449-469 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

4
Spatial cognition of Samba and Charleston
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Spatial cognition of Samba and Charleston

Leman, Marc ; Naveda, Luiz Alberto

SPRINGER HEIDELBERG 2009

Sem texto completo

5
Special Issue on Real Time Networks and Systems: Proceedings of 24th International Conference on Real-Time Networks and Systems (RTNS 2016), held at Université de Bretagne Occidentale (November 2016, in Brest, France)
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Special Issue on Real Time Networks and Systems: Proceedings of 24th International Conference on Real-Time Networks and Systems (RTNS 2016), held at Université de Bretagne Occidentale (November 2016, in Brest, France)

Faucou, Sébastien ; Pinho, Luís Miguel

Real-Time Systems, 2018, Vol.54 (4) [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)

Buscando em bases de dados remotas. Favor aguardar.