Browse by Faculty

Facultades y Departamentos (16850)
- Fac. de CC. Matemáticas (2813)
  - Depto. de Informática y Automática (4)

Number of items at this level: 4.

Hidalgo Herrero , Mercedes and Ortega Mallen, Yolanda and Rubio, Fernando (2006) Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing, 32 (7-8). pp. 523-538. ISSN 0167-8191

Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda and Rubio, Fernando (2006) Towards Improving Skeletons in Eden. In Parallel Computing: Current & Future Issues of High-End Computing. NIC Series (33). John von Neumann Institute for Computing, Jülich, pp. 843-850. ISBN 3-00-017352-8

Núñez García, Manuel (2002) Semánticas de pruebas para álgebras de procesos probabilísticos. Tesis PhD.

Martí Oliet, Narciso (2002) Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados. Tesis PhD.

This list was generated on Tue May 21 03:13:57 2013 CEST.

Export as	RSS 2.0 RSS 1.0 Atom