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

Benzer Materyaller

• Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /
  Yazar:: Luca Alfaro, Stephen Gilmore
  Baskı/Yayın Bilgisi: (2001, c2001)
• Finitary Probabilistic Methods in Econophysics /
  Yazar:: Garibaldi, Ubaldo
  Baskı/Yayın Bilgisi: (2010, c2010)
• Probabilistic Logics and Probabilistic Networks /
  Yazar:: Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler, Jon Williamson
  Baskı/Yayın Bilgisi: (2011, c2011)
• Probabilistic and Statistical Methods in Cryptology : An Introduction by Selected Topics /
  Yazar:: Daniel Neuenschwander
  Baskı/Yayın Bilgisi: (2004, c2004)
• Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
  Yazar:: Ed Brinksma, Kim Guldstrand Larsen
  Baskı/Yayın Bilgisi: (2002, c2002)