دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 – July 2, 2009. Proceedings

49,000 تومان
تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن - 2 ژوئیه، 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 722
حجم فایل 13 مگابایت
کد کتاب 3642026575,9783642026577
نوبت چاپ 1

دانلود کتاب Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings

49,000 تومان
محاسبات توزیع شده: بیست و سومین سمپوزیوم بین المللی، DISC 2009، الچه، اسپانیا، 23-25 ​​سپتامبر 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 532
حجم فایل 7 مگابایت
کد کتاب 3642043542,9783642043543
نوبت چاپ 1

دانلود کتاب Introduction to Reliable Distributed Programming

49,000 تومان
مقدمه ای بر برنامه نویسی توزیع شده قابل اعتماد
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 312
حجم فایل 2 مگابایت
کد کتاب 3540288457,9783540288459,9783540288466
نوبت چاپ 1

دانلود کتاب Object-Based Distributed Programming: ECOOP ’93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings

49,000 تومان
برنامه نویسی توزیع شده مبتنی بر شی: کارگاه آموزشی ECOOP '93 Kaiserslautern، آلمان، 26-27 ژوئیه، 1993 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 268
حجم فایل 3 مگابایت
کد کتاب 354057932X,9783540579328
نوبت چاپ 1

دانلود کتاب Reliable and Secure Distributed Programming, Second Edition

49,000 تومان
برنامه نویسی توزیع شده قابل اعتماد و ایمن، ویرایش دوم
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 388
حجم فایل 2 مگابایت
کد کتاب 3642152597,9783642152597
نوبت چاپ نسخه دوم.

دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

49,000 تومان
تثبیت، ایمنی و امنیت سیستم های توزیع شده: یازدهمین سمپوزیوم بین المللی، SSS 2009، لیون، فرانسه، 3-6 نوامبر 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 801
حجم فایل 12 مگابایت
کد کتاب 3642051170,9783642051173
نوبت چاپ 1