1
|
Material Type: Livro
|
|
Parallel computing theory and comparisons
G. Jack Lipovski Miroslaw Malek
New York Wiley c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M25.35 L764p e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
An introduction to parallel algorithms
Joseph JáJá
Reading, Mass. Addison-Wesley Pub. Co. c1992
Item não circula. Consulte sua biblioteca.(Acessar)
|
3
|
Material Type: Livro
|
|
Verifying concurrent processes using temporal logic
Brent T. Hailpern 1955- (Brent Tzion)
Berlin New York Springer-Verlag 1982
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.129 )(Acessar)
|
4
|
Material Type: Livro
|
|
Solving problems on concurrent processors
Geoffrey C Fox; Ian G Angus
Englewood Cliffs, N.J. Prentice Hall c1988-c1990
Localização:
IF - Instituto de Física
(004.35 F791s v.2 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Specification and analysis of concurrent systems the COSY approach
Ryszard Janicki Peter E Lauer 1934-
Berlin Springer-Verlag New York c1992
Localização:
IME - Inst. Matemática e Estatística
(QA754 J33s )(Acessar)
|
6
|
Material Type: Livro
|
|
Specification and design of concurrent systems
Percy Mett 1945- David Crowe 1948-; Peter Strain-Clark 1945-
London McGraw-Hill Book Co. New York c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M25.30 M595sd e.1 )(Acessar)
|
7
|
Material Type: Livro
|
|
CONCUR '93 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings
International Conference on Concurrency Theory (4th 1993 Hildesheim, Germany) Eike Best 1931-
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.715 e.1 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
CONCUR '94, concurrency theory 5th international conference, Uppsala, Sweden, August 22-25, 1994 : proceedings
International Conference on Concurrency Theory (5th 1994 Uppsala, Sweden) Bengt Jonsson 1957-; Joachim Parrow 1956-
Berlin New York Springer-Verlag c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.836 e.1 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Languages and compilers for parallel computing 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings
LCPC'99 (1999 La Jolla, Calif) Larry Carter; Jeanne Ferrante
Berlin Springer London c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v. 1863 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Coordination languages and models Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999 : proceedings
COORDINATION '99 (3. 1999 Amsterdam, Netherlands) Paolo Ciancarini; Alexander Wolf (Alexander L.)
Berlin Springer Berlin New York 1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1594 ) e outros locais(Acessar)
|