skip to main content
Mostrar solo
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:
Acta de Congreso
Añadir a Mi Portal

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

Singh, A K ; Overbeek, R

United States 1990

Texto completo disponible

2
Forbidden-set distance labels for graphs of bounded doubling dimension
Material Type:
Acta de Congreso
Añadir a Mi Portal

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 [Revista revisada por pares]

New York, NY, USA: ACM

Texto completo disponible

3
Projecting CLP(R) constraints
Material Type:
Acta de Congreso
Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin: Springer

Texto completo disponible

4
Spatial cognition of Samba and Charleston
Material Type:
Acta de Congreso
Añadir a Mi Portal

Spatial cognition of Samba and Charleston

Leman, Marc ; Naveda, Luiz Alberto

SPRINGER HEIDELBERG 2009

Sin 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:
Acta de Congreso
Añadir a Mi Portal

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) [Revista revisada por pares]

Springer Verlag

Texto completo disponible

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (4)

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora