skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Hermanns, Holger ; Segala, Roberto Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science, [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

2
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

Gurevich, Yuri ; Kutter, Philipp W ; Odersky, Martin ; Thiele, Lothar Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

Buscando em bases de dados remotas. Favor aguardar.