دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX'99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات
موضوع اصلی | کامپیوترها |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer-Verlag Berlin Heidelberg |
تعداد صفحه | 334 |
حجم فایل | 6 مگابایت |
کد کتاب | 3540660860,9783540660866 |
نوبت چاپ | 1 |
دانلود کتاب Computer Systems A Programmer’s Perspective
دانلود کتاب Computer Systems: A Programmer’s Perspective
دانلود کتاب Computer Systems: A Programmer's Perspective
دانلود کتاب 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
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دهمین کنفرانس بینالمللی، 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
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: دهمین کنفرانس بینالمللی، TACAS 2004، به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2004، بارسلونا، اسپانیا، 29 مارس - 2 آوریل 2004 برگزار شد.
موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer-Verlag Berlin Heidelberg |
تعداد صفحه | 614 |
حجم فایل | 11 مگابایت |
کد کتاب | 354021299X,9783540212997 |
نوبت چاپ | 1 |