skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Foundations for Mastering Change I

Bernhard. Steffen

Springer International Publishing 2016

Acesso online

2
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Margaria Bernhard Steffen

Springer Berlin Heidelberg 2014

Acesso online

3
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Material Type:
Livro 		Adicionar ao Meu Espaço

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Margaria Bernhard Steffen

Springer Berlin Heidelberg 2014

Acesso online

4
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Margaria Bernhard Steffen

Springer International Publishing 2016

Acesso online

5
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Margaria Bernhard Steffen

Springer International Publishing 2016

Acesso online

6
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems

TACAS '98 Bernhard Steffen

Springer Berlin Heidelberg 1998

Acesso online

7
Correct system design recent insights and advances
Correct system design recent insights and advances
Material Type:
Livro 		Adicionar ao Meu Espaço

Correct system design recent insights and advances

Bernhard Steffen; E.-R Olderog

Berlin Springer New York c1999

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

8
Correct system design recent insights and advances
Correct system design recent insights and advances
Material Type:
Livro 		Adicionar ao Meu Espaço

Correct system design recent insights and advances

Ernsrt-Rudger Olderog Bernhard Steffen

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1710 )(Acessar)

9
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, Model Checking, and Abstract Interpretation

VMCAI 2004 Giorgio Levi; Bernhard Steffen

Springer Berlin / Heidelberg 2004

Acesso online

10
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems

TACAS '96 Tiziana Margaria; Bernhard Steffen

Springer Berlin Heidelberg 1996

Acesso online

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.292)
  2. Book Chapters  (361)
  3. Conjunto de Dados  (274)
  4. Anais de Congresso  (257)
  5. Livros  (103)
  6. Imagens  (42)
  7. Reports  (35)
  8. Dissertações  (15)
  9. Recursos Textuais  (8)
  10. Videos  (6)
  11. magazinearticle  (5)
  12. Web Resources  (3)
  13. Outros  (2)
  14. Resenhas  (2)
  15. Verbetes  (1)
  16. Produções Técnicas  (1)
  17. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (17)
  2. 1986Até1994  (48)
  3. 1995Até2003  (164)
  4. 2004Até2013  (743)
  5. Após 2013  (1.435)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.263)
  2. Alemão  (166)
  3. Português  (2)
  4. Francês  (2)
  5. Espanhol  (2)
  6. Japonês  (2)
  7. Norueguês  (1)
  8. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Steffen, B
  2. Margaria, T
  3. Margaria
  4. Olderog, E
  5. Hutchison, D

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.