A carregar...
Theoretical computer science 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
Convexity, duality and effects - A calculus for power-aware multicast communications in Ad Hoc networks - The coarsest precongruences respecting safety and liveness properties - Entropy and attack models in information flow - Safe equivalences for security properties - On probabilistic alternating...
Na minha lista:
| Main Authors: | , , |
|---|---|
| Formato: | Livro |
| Idioma: | Inglês |
| Publicado em: |
Springer,
2010
|
| Colecção: | IFIP Advances in information and communication technology |
| Assuntos: | |
| Acesso em linha: | https://minerva.ufrj.br/F/?func=direct&doc_number=000915228&local_base=UFR01 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|