در حال نمایش 7 نتیجه

دانلود کتاب Coloured Petri Nets: Modelling and Validation of Concurrent Systems

10,000 تومان
شبکه های پتری رنگی: مدل سازی و اعتبارسنجی سیستم های همزمان
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 382
حجم فایل 4 مگابایت
کد کتاب 9783642002830,3642002838

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

10,000 تومان
ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دهمین کنفرانس بین‌المللی، TACAS 2004، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2004، بارسلونا، اسپانیا، 29 مارس - 2 آوریل 2004 برگزار شد.
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 614
حجم فایل 12 مگابایت
کد کتاب 354021299X,9783540212997,9783540247302
نوبت چاپ 1

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

10,000 تومان
ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دهمین کنفرانس بین‌المللی، TACAS 2004، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2004، بارسلونا، اسپانیا، 29 مارس - 2 آوریل 2004 برگزار شد.
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 614
حجم فایل 11 مگابایت
کد کتاب 354021299X,9783540212997
نوبت چاپ 1

دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency I

10,000 تومان
معاملات روی شبکه پتری و سایر مدل های همزمانی I
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 251
حجم فایل 5 مگابایت
کد کتاب 3540892869,9783540892861
نوبت چاپ 1

دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems

10,000 تومان
تراکنش‌های روی شبکه‌های پتری و سایر مدل‌های همزمانی II: موضوع ویژه در مورد همزمانی در سیستم‌های اطلاعاتی آگاه از فرآیند
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 297
حجم فایل 8 مگابایت
کد کتاب 3642008984,9783642008986
نوبت چاپ 1

دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency III

10,000 تومان
معاملات روی شبکه پتری و سایر مدل های همزمانی III
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 275
حجم فایل 5 مگابایت
کد کتاب 3642048544,9783642048548
نوبت چاپ 1

دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency IV

10,000 تومان
معاملات روی شبکه پتری و سایر مدل های همزمانی IV
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 225
حجم فایل 4 مگابایت
کد کتاب 3642182216,9783642182211
نوبت چاپ 1