اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Image Analysis and Processing: 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II
قیمت اصلی 157,000 تومان بود.82,000 تومانقیمت فعلی 82,000 تومان است.
خرید و دانلود نسخه کامل کتاب Algorithmic Foundations of Robotics IX: Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
08ساعت
22دقیقه
01ثانیه
-57%
خرید و دانلود نسخه کامل کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
قیمت اصلی 131,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
تعداد فروش: 51
| عنوان فارسی |
تکنیک های رسمی برای سیستم های شبکه ای و توزیعی – FORTE 2006: 26th IFIP WG 6.1 کنفرانس بین المللی ، پاریس ، فرانسه ، 26 تا 29 سپتامبر 2006. مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.) |
| ISBN | 3540462198, 9783540462194 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 496 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری بیست و ششمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2006، برگزار شده در پاریس، فرانسه، در سپتامبر 2006 است.
26 مورد تجدید نظر کامل مقالات و 4 مقاله کوتاه ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 177 مقاله ارسالی انتخاب شدند. این مقالات بر ساخت میانافزار و سرویسها با استفاده از رویکردهای رسمی و تأیید شده تمرکز میکنند و – علاوه بر مشخصات پروتکل کلاسیک، مشکلات تأیید و آزمایش – به مسائل ترکیب توابع پروتکل و الگوریتمها برای سیستمهای توزیعشده میپردازند.
مقالات در بخشهای موضوعی خدمات، میانافزار، ترکیب و ترکیب، منطق، تأیید نمادین/برش، زبانهای مدلسازی یکپارچه، شبکههای پتری، تأیید پارامتر، زمان واقعی، و آزمایش سازماندهی شدهاند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.