skip to main content
Refinado por: assunto: Machine Theory remover autor: Hartmanis, Juris remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

Boldt, Oliver ; Jürgensen, Helmut Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

2
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings

Alfaro, Luca de ; Gilmore, Stephen Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.