1. Concurrent programming / by Gehani, Narain Publication: Wokingham : Addison-Wesley, 1988 . xiii,621p : 24cm Date:1988 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
2. Mathematical models for the semantics of parallelism :   Publication: Berlin : Springer, 1987 . iv, 230 p. Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
3. Compositionality, concurrency, and partial correctness : by Zwiers, J, Publication: Berlin : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
4. Computer algebra and parallelism   Publication: Berlin Springer 1992 . ix, 114 p. , Hosted by Mathematical Sciences Institute, Cornell University 25 cm. Date:1992 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
5. Parallelization in inference systems :   Publication: Berlin : Springer, 1992 . viii, 372 p Date:1992 Availability: No items available:

Actions:
6. Highly parallel computing / by Almasi, George S. Publication: Redwood City, Cal. : Benjamin/Cummings, 1994 . xxvi,689p ; 25cm Date:1994 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
7. Parallel computing 1988 :   Publication: Berlin : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
8. Concepts, design, and performance analysis of a parallel prolog machine / by Beer, Joachim Publication: Berlin : Springer-Verlag, 1989 Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
9. Parallel Lisp: languages and systems :   Publication: Berlin : Springer-Verlag, 1990 Date:1990 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
10. CONCUR'91 :   Publication: Berlin : Springer-Verlag, 1991 . ix, 540 p. : 24 cm Date:1991 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
11. CONCUR '93 - 4th international conference on concurrency theory   Publication: Berlin Springer-Verlag 1993 . ix, 540 p. : 24 cm Date:1993 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
12. Programming massively parallel processors : by Kirk, David B. Publication: Burlington, MA : Morgan Kaufmann Pub., 2010 . xviii, 258 p. : 24 cm Date:2010 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: