Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Berlín, Alemania :
Springer,
2001, c2001
|
| Saila: | (Lecture Notes in Computer Science)
|
| Sarrera elektronikoa: | Ver documento en línea |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak: Process Algebra and Probabilistic Methods. Performance Modelling and Verification :
- Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
- Finitary Probabilistic Methods in Econophysics /
- Probabilistic Logics and Probabilistic Networks /
- Probabilistic and Statistical Methods in Cryptology : An Introduction by Selected Topics /
- Probabilistic Graphical Models : Principles and Aplications /
- Probabilistic Graphical Models : Principles and Aplications /