Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Derivation of efficient parallel programs: An example from genetic sequence analysisSingh, A K ; Overbeek, RUnited States 1990Texto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Forbidden-set distance labels for graphs of bounded doubling dimensionAbraham, Ittai ; Chechik, Shiri ; Gavoille, Cyril ; Peleg, DavidProceedings 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: ACMTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Projecting CLP(R) constraintsJAFFAR, J ; MAHER, M. J ; STUCKEY, P. J ; YAP, R. H. CNew generation computing, 1993, Vol.11 (3-4), p.449-469 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Spatial cognition of Samba and CharlestonLeman, Marc ; Naveda, Luiz AlbertoSPRINGER HEIDELBERG 2009Sem texto completo |
|
5 |
Material Type: Ata de Congresso
|
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 MiguelReal-Time Systems, 2018, Vol.54 (4) [Periódico revisado por pares]Springer VerlagTexto completo disponível |