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

دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

10,000 تومان
استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX'99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 334
حجم فایل 6 مگابایت
کد کتاب 3540660860,9783540660866
نوبت چاپ 1

دانلود کتاب Computer Systems A Programmer’s Perspective

10,000 تومان
سیستم های کامپیوتری دیدگاه یک برنامه نویس
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Pearson Education Limited
تعداد صفحه 1122
حجم فایل 5.23 مگابایت
کد کتاب 1292101768 , 9781292101767
نوبت چاپ 3

دانلود کتاب Computer Systems: A Programmer’s Perspective

10,000 تومان
سیستم های کامپیوتری: دیدگاه یک برنامه نویس
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Prentice Hall
تعداد صفحه 978
حجم فایل 60 مگابایت
کد کتاب 013034074X,9780130340740
نوبت چاپ ویرایش ایالات متحده

دانلود کتاب Computer Systems: A Programmer's Perspective

10,000 تومان
سیستم های کامپیوتری: دیدگاه یک برنامه نویس
نوع کالا کتاب الکترونیکی
ناشر Pearson
تعداد صفحه 1120
حجم فایل 35.97 مگابایت
کد کتاب 013409266X , 9780134092669
نوبت چاپ 3

دانلود کتاب 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