skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

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

3
Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007 Paphos, Cyprus, June 6-8, 2007 : proceedings
Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007 Paphos, Cyprus, June 6-8, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007 Paphos, Cyprus, June 6-8, 2007 : proceedings

IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (7th 2007 Paphos, Cyprus) Jadwiga Indulska; Kerry Raymond; IFIP Working Group 6.1

Berlin Springer New York c2007

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

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

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

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

8
Ninth IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, 6th-9th June 1989, University of Twente - Enschede, the Netherlands
Material Type:
Livro 		Adicionar ao Meu Espaço

Ninth IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, 6th-9th June 1989, University of Twente - Enschede, the Netherlands

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Netherlands) Ed Brinksma; Giuseppe Scollo; Chris A Vissers 1941-; IFIP Working Group 6.1

Enschede, Netherlands University of Twente 1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.772 If5p 9. Tutorial )(Acessar)

9
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

Frutos-Escrig, David de ; Núñez, Manuel Núñez, Manuel ; de Frutos-Escrig, David

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
10
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques

Hogrefe, Dieter ; Leue, Stefan Leue, Stefan ; Hogrefe, Dieter

Boston, MA: Springer US 1995

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1995  (2)
  2. 1995Até2000  (4)
  3. 2001Até2002  (2)
  4. 2003Até2005  (4)
  5. Após 2005  (6)
  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.