skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Electronic Data Processing remover assunto: Electronic Data Processing–Distributed Processing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Engineering distributed objects Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers
Engineering distributed objects Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Engineering distributed objects Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers

EDO 2000 (2000 Davis, Calif.) Wolfgang Emmerich; Stefan Tai 1970-

Berlin New York Springer c2001

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

2
Formal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece June 15-17, 2005 : proceedings
Formal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece June 15-17, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece June 15-17, 2005 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece) Martin Steffen; Gianluigi Zavattaro; IFIP Working Group 6.1

Berlin Springer New York c2005

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

3
Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus June 6-8, 2007 : proceedings
Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus June 6-8, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus June 6-8, 2007 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (9th 2007 Paphos, Cyprus) Marcello M Bonsangue; Einar Broch Johnsen; IFIP Working Group 6.1

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4468 )(Acessar)

4
Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings
Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings

FORTE 2008 (2008 Tokyo, Japan) Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih; Kenji Suzuki Dr. Eng

Berlin Springer New York c2008

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

5
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings
Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France September 26-29, 2006 : proceedings

FORTE 2006 (2006 Paris, France) Elie Najm; Jean-Fran cois Pradat-Peyre; V eronique Donzeau-Gouge; IFIP Working Group 6.1

Berlin Springer New York c2006

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

6
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applying formal methods testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

FORTE 2004 (2004 Toledo, Spain) Zakaria Maamar; Fernando L Pelayo; Key Pousttchi; Fernando Rubio; Manuel N u nez Profesor; The FormEMC (1st 2004 Toledo, Spain); EPEW (1st 2004 Toledo, Spain); ITM (1st 2004 Toledo, Spain)

Berlin Springer New York c2004

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

7
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (8th 2006 Bologna, Italy) Roberto Gorrieri; Heike Wehrheim

Berlin Springer New York 2006

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

8
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

FORTE 2004 (2004 Madrid, Spain) David de Frutos-Escrig; Manuel Núñez Profesor; IFIP Working Group 6.1

Berlin Springer New York c2004

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

9
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway) Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1

Berlin Springer New York c2008

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

10
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29 2007 : proceedings

FORTE 2007 (2007 Tallinn, Estonia) John Derrick 1963; J uri Vain; IFIP Working Group 6.1

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4574 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (22)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1988  (9)
  2. 1988Até1993  (7)
  3. 1994Até1998  (19)
  4. 1999Até2004  (49)
  5. Após 2004  (56)
  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.