probmiv
جبر فرآیندی و روش‌های احتمالی: مدل‌سازی و تأیید عملکرد: دومین کارگاه بین‌المللی مشترک PAPM-PROBMIV 2002 کپنهاگ، دانمارک، 25-26 ژوئیه، 2002 مجموعه مقالات
دانلود کتاب Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings (به فارسی: جبر فرآیندی و روش‌های احتمالی: مدل‌سازی و تأیید عملکرد: دومین کارگاه بین‌المللی مشترک PAPM-PROBMIV 2002 کپنهاگ، دانمارک، 25-26 ژوئیه، 2002 مجموعه مقالات) نوشته شده توسط «André Schiper (auth.) – Holger Hermanns – Roberto Segala (eds.)» اطلاعات کتاب جبر فرآیندی و روش‌های احتمالی: مدل‌سازی و تأیید عملکرد: دومین کارگاه بین‌المللی مشترک PAPM-PROBMIV 2002 کپنهاگ، دانمارک، 25-26 ژوئیه، 2002 مجموعه مقالات موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: André Schiper (auth.) – Holger…
جبر فرآیندی و روش های احتمالی. مدل سازی و تأیید عملکرد: کارگاه بین المللی مشترک، PAPM-PROBMIV 2001 آخن، آلمان، 12 تا 14 سپتامبر 2001 مجموعه مقالات
دانلود کتاب Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings (به فارسی: جبر فرآیندی و روش های احتمالی. مدل سازی و تأیید عملکرد: کارگاه بین المللی مشترک، PAPM-PROBMIV 2001 آخن، آلمان، 12 تا 14 سپتامبر 2001 مجموعه مقالات) نوشته شده توسط «Markus Siegle (auth.) – Luca de Alfaro – Stephen Gilmore (eds.)» اطلاعات کتاب جبر فرآیندی و روش های احتمالی. مدل سازی و تأیید عملکرد: کارگاه بین المللی مشترک، PAPM-PROBMIV 2001 آخن، آلمان، 12 تا 14 سپتامبر 2001 مجموعه مقالات موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag…