دانلود کتاب Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

49,000 تومان
سیستم های معماری با اجزای قابل اعتماد: سمینار بین المللی، قلعه داگستول، آلمان، 12 تا 17 دسامبر 2004. مقالات منتخب اصلاح شده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 299
حجم فایل 4 مگابایت
کد کتاب 3540358005,9783540358008
نوبت چاپ 1

دانلود کتاب Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

49,000 تومان
روش‌های رسمی و آزمایش: نتیجه‌ای از شبکه FOREST، مقالات منتخب اصلاح شده
موضوع اصلی شبکه سازی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 367
حجم فایل 8 مگابایت
کد کتاب 3540789162,9783540789161
نوبت چاپ 1

دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

49,000 تومان
روش های رسمی برای اجزا و اشیاء: پنجمین سمپوزیوم بین المللی، FMCO 2006، آمستردام، هلند، 7-10 نوامبر 2006، سخنرانی های تجدید نظر شده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 300
حجم فایل 3 مگابایت
کد کتاب 3540747915,9783540747918
نوبت چاپ 1