skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

FORMATS 2004 Yassine Lakhnech; Sergio Yovine

Springer Berlin / Heidelberg 2004

Acesso online

2
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

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

3
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Lakhnech, Yassine ; Yovine, Sergio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
4
Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004
Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004
Material Type:
Livro 		Adicionar ao Meu Espaço

Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004

2005

Texto completo disponível

Citações Citado por
5
Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004
Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Report of the Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance. Bergen, Norway, 25-27 October 2004

Expert Consultation on Data Formats and Procedures for Monitoring, Control and Surveillance eng 25-27 Oct 2004 Bergen (Norway)

Rome (Italy) FAO 2005

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (4)
  2. Disponível na Biblioteca (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4)
  2. Recursos Textuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. FORMATS 2004
  2. Lakhnech, Y
  3. Yovine, S
  4. FTRTFT 2004

Neste Assunto:

  1. Formale Methode
  2. Computer Simulation
  3. Fault-Tolerant Computing
  4. Fishery Management
  5. Fehlertoleranz

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

Buscando em bases de dados remotas. Favor aguardar.