دانلود کتاب CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

49,000 تومان
CONCUR 2006 – Concurrency Theory: هفدهمین کنفرانس بین المللی، CONCUR 2006، بن، آلمان، 27-30 اوت 2006. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 525
حجم فایل 5 مگابایت
کد کتاب 3540373764,9783540373766
نوبت چاپ 1

دانلود کتاب Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

49,000 تومان
مدل ها و زبان های هماهنگی: هشتمین کنفرانس بین المللی، COORDINATION 2006، بولونیا، ایتالیا، 14-16 ژوئن 2006. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 299
حجم فایل 4 مگابایت
کد کتاب 3540346945,9783540346944
نوبت چاپ 1

دانلود کتاب Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

49,000 تومان
مبانی علم نرم افزار و ساختارهای محاسباتی: سومین کنفرانس بین المللی، FOSSACS 2000 به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2000 برلین، آلمان، 25 مارس - 2 آوریل 2000 مجموعه مقالات برگزار شد.
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 398
حجم فایل 6 مگابایت
کد کتاب 3540672575,9783540672579
نوبت چاپ 1

دانلود کتاب Principles of Model Checking

49,000 تومان
اصول بررسی مدل
موضوع اصلی کامپیوتر - برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر MiT Press
تعداد صفحه 994
حجم فایل 17.08 مگابایت
کد کتاب 026202649X , 9780262026499

دانلود کتاب Principles of Model Checking

49,000 تومان
اصول بررسی مدل
نوع کالا کتاب الکترونیکی
ناشر The MIT Press
تعداد صفحه 984 / 994
حجم فایل 5.15 مگابایت
کد کتاب 1435643275 , 9781435643277

دانلود کتاب Principles of Model Checking

49,000 تومان
اصول بررسی مدل
نوع کالا کتاب الکترونیکی
تعداد صفحه 984
حجم فایل 4 مگابایت
کد کتاب 9780262026499,9781435643277,026202649X

دانلود کتاب Validation of Stochastic Systems: A Guide to Current Research

49,000 تومان
اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
موضوع اصلی احتمال
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 470
حجم فایل 5 مگابایت
کد کتاب 3540222650,9783540222651,9783540246114
نوبت چاپ 1