passau
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دومین کارگاه بینالمللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings (به فارسی: ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دومین کارگاه بینالمللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات) نوشته شده توسط «Gerard J. Holzmann (auth.) – Tiziana Margaria – Bernhard Steffen (eds.)» اطلاعات کتاب ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دومین کارگاه بینالمللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Gerard J. Holzmann (auth.)…
STACS 87: چهارمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر پاساو، جمهوری فدرال آلمان، 19 تا 21 فوریه، 1987 مجموعه مقالات
دانلود کتاب STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings (به فارسی: STACS 87: چهارمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر پاساو، جمهوری فدرال آلمان، 19 تا 21 فوریه، 1987 مجموعه مقالات) نوشته شده توسط «Ronald V. Book (auth.) – Franz J. Brandenburg – Guy Vidal-Naquet – Martin Wirsing (eds.)» اطلاعات کتاب STACS 87: چهارمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر پاساو، جمهوری فدرال آلمان، 19 تا 21 فوریه، 1987 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Ronald V. Book…