skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Material Type:
Livro
Adicionar ao Meu Espaço

Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

Seminar on Concurrency (1984 Carnegie-Mellon University) S. D Brookes (Stephen D.); A. W Roscoe; G Winskel (Glynn)

Berlin Springer-Verlag New York c1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.197 ) e outros locais(Acessar)

2
Current trends in concurrency overviews and tutorials
Material Type:
Livro
Adicionar ao Meu Espaço

Current trends in concurrency overviews and tutorials

J. W. de Bakker 1939- (Jacobus Willem); W.-P. de Roever; Grzegorz Rozenberg; Dutch Concurrency Project; European Strategic Programme of Research and Development in Information Technology Project 415; ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985 Noordwijkerhout, Netherlands)

Berlin New York Springer-Verlag c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 Es66 ) e outros locais(Acessar)

3
Material Type:
Livro
Adicionar ao Meu Espaço

Record

Project MAC Conference on Concurrent Systems and Parallel Computation 1970 Woods Hole, Mass. Project MAC (Massachusetts Institute of Technology); ACM Special Interest Group in Operating Systems; ACM Special Interest Group in Programming Languages

New York Association for Computing Machinery 1970

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 P943 ) e outros locais(Acessar)

4
Alternating sequential/parallel processing
Material Type:
Livro
Adicionar ao Meu Espaço

Alternating sequential/parallel processing

Y. Wallach 1928- (Yehuda)

Berlin New York Springer 1982

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 W155a ) e outros locais(Acessar)

5
Iterative Methods for Large Linear Systems
Iterative Methods for Large Linear Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Iterative Methods for Large Linear Systems

David R. Kincaid Linda J Hayes

Academic Press 1990

Acesso online. A biblioteca também possui exemplares impressos.

6
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the 1976 International Conference on Parallel Processing papers presented on August 24-27, 1976

International Conference on Parallel Processing (1976 Hartland, Mich.) Philip H Enslow 1933-; Wayne State University Dept. of Electrical and Computer Engineering; IEEE Computer Society; Association for Computing Machinery

Long Beach, CA Available from IEEE Computer Society c1976

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 In8 1976 ) e outros locais(Acessar)

7
Parallel computing theory and comparisons
Material Type:
Livro
Adicionar ao Meu Espaço

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)

8
Algorithms for mutual exclusion
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms for mutual exclusion

M. Raynal (Michel)

Cambridge, Mass. MIT Press 1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 R218aI ) e outros locais(Acessar)

9
Parallel supercomputing methods, algorithms, and applications
Material Type:
Livro
Adicionar ao Meu Espaço

Parallel supercomputing methods, algorithms, and applications

Graham F Carey

Chichester, West Sussex, England New York Wiley c1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 C188p ) e outros locais(Acessar)

10
A survey of verification techniques for parallel programs
Material Type:
Livro
Adicionar ao Meu Espaço

A survey of verification techniques for parallel programs

Howard Barringer 1951-

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004.272 B277s ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1976  (2)
  2. 1976Até1981  (2)
  3. 1982Até1984  (3)
  4. 1985Até1987  (6)
  5. Após 1987  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.