skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Electronic Data Processing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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 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)

4
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)

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

Buscando em bases de dados remotas. Favor aguardar.