دانلود کتاب Agent Technology from a Formal Perspective
49,000 تومان
فناوری عامل از دیدگاه رسمی
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer |
| تعداد صفحه | 360 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 1852339470,9781852339470,9781846282713 |
| نوبت چاپ | نسخه اول. |
| نویسنده | Christopher Rouff, Diana F. Gordon-Spears, James Rash, Michael Hinchey, Walt Truszkowski |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
فناوری عامل از دیدگاه رسمی
زمینه سیستمهای عامل و چند عاملی رشد فوقالعادهای را تجربه میکند در حالی که روشهای رسمی نیز شکوفا شده است. بنابراین، کارگاه های آموزشی FAABS (رویکردهای رسمی به سیستم های مبتنی بر عامل)، که دغدغه های این دو حوزه را ادغام می کرد، به موقع بود. این کتاب از پاسخ بسیار زیاد به FAABS ’00, ’02 و ’04 نشات گرفته است و همه فصل ها به روز شده اند یا نشان دهنده تحقیقات جدید هستند و برای ارائه یک درمان عمیق تر از موضوع طراحی شده اند. نمونههایی از نحوه استفاده دیگران از روشهای رسمی برای سیستمهای مبتنی بر عامل، بهعلاوه ابزارها و تکنیکهای روش رسمی که خوانندگان میتوانند در سیستمهای خود اعمال کنند، گنجانده شده است.
تکنولوژی عامل از دیدگاه رسمی، دیدگاهی عمیق از موضوعات کلیدی مرتبط با فناوری عامل از دیدگاه رسمی ارائه می دهد. از آنجایی که این یک رشته میان رشته ای نسبتاً جدید است، فضای زیادی برای رشد بیشتر وجود دارد و این کتاب نه تنها پایه اولیه را ایجاد می کند، بلکه به شکاف ها نیز اشاره می کند. نشاندهنده مشکلات باز است که باید توسط محققان، دانشجویان و پزشکان آینده مورد توجه قرار گیرد.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.