skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Sistemas Distribuídos (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro Bogliolo

Berlin Springer New York 2005

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

2
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

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

3
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.

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

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

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

Buscando em bases de dados remotas. Favor aguardar.