skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Handbook of Process Algebra
Handbook of Process Algebra
Handbook of Process Algebra
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of Process Algebra

J.A. Ponse, A. Smolka, S.A Smolka, S A Bergstra J. A Bergstra; A Ponse; Alban Ponse; S.A Smolka; Scott A Smolka

Burlington Elsevier Science 2001

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

2
Parallel Execution of Parlog
Parallel Execution of Parlog
Parallel Execution of Parlog
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel Execution of Parlog

Andrew Cheese

Springer Berlin Heidelberg 1992

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

3
Numerical Solution of Partial Differential Equations on Parallel Computers
Numerical Solution of Partial Differential Equations on Parallel Computers
Numerical Solution of Partial Differential Equations on Parallel Computers
Material Type:
Livro 		Adicionar ao Meu Espaço

Numerical Solution of Partial Differential Equations on Parallel Computers

Timothy J. Barth Are Magnus Bruaset; Michael Griebel; David E Keyes; Aslak Tveito

Dordrecht Springer Berlin Heidelberg 2006

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

4
Concurrent and Real-Time Programming in Ada 2005
Concurrent and Real-Time Programming in Ada 2005
Concurrent and Real-Time Programming in Ada 2005
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrent and Real-Time Programming in Ada 2005

Alan Burns Andrew J Wellings; Andy Wellings

Cambridge University Press 2007

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

5
Parallel computing theory and practice
Parallel computing theory and practice
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel computing theory and practice

Michael J. Quinn (Michael Jay) Michael J Quinn (Michael Jay)

New York McGraw-Hill c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M25.35 Q7pc.2 e.9 ) e outros locais(Acessar)

6
Sourcebook of parallel computing
Sourcebook of parallel computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Sourcebook of parallel computing

Jack Dongarra

San Francisco, CA Morgan Kaufmann Publishers c2003

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.35 S724 ) e outros locais(Acessar)

7
Programming massively parallel processors a hands-on approach
Programming massively parallel processors a hands-on approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming massively parallel processors a hands-on approach

David Kirk 1960- Wen-mei Hwu

San Francisco, Calif. Morgan Kaufmann Oxford Elsevier Science distributor Amsterdam 2013

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.451.46 K634p2 ) e outros locais(Acessar)

8
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

9
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of concurrent and distributed programming

M Ben-Ari 1948

Harlow, England Addison-Wesley New York 2006

Localização: IME - Inst. Matemática e Estatística    (QA754 B456p 2.ed. )(Acessar)

10
Protocols by Invariants
Protocols by Invariants
Protocols by Invariants
Material Type:
Livro 		Adicionar ao Meu Espaço

Protocols by Invariants

Anneke A. Schoone T. F Chan; A Gottlieb; R. M Karp; W. F McColl

Cambridge Cambridge University Press 1996

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (21)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (4)
  2. 1989Até1992  (3)
  3. 1993Até1996  (3)
  4. 1997Até2003  (4)
  5. Após 2003  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.