دانلود کتاب Agent Technology from a Formal Perspective (به فارسی: فناوری عامل از دیدگاه رسمی) نوشته شده توسط «Michael Hinchey – James Rash – Walt Truszkowski – Diana F. Gordon-Spears – Christopher Rouff»
اطلاعات کتاب فناوری عامل از دیدگاه رسمی
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Michael Hinchey – James Rash – Walt Truszkowski – Diana F. Gordon-Spears – Christopher Rouff
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 360
حجم کتاب: 4 مگابایت
کد کتاب: 1852339470 , 9781852339470 , 9781846282713
نوبت چاپ: 1st Edition.
توضیحات کتاب فناوری عامل از دیدگاه رسمی
زمینه سیستم‌های عامل و چند عاملی رشد فوق‌العاده‌ای را تجربه می‌کند در حالی که روش‌های رسمی نیز شکوفا شده است. بنابراین، کارگاه های آموزشی FAABS (رویکردهای رسمی به سیستم های مبتنی بر عامل)، که دغدغه های این دو حوزه را ادغام می کرد، به موقع بود. این کتاب از پاسخ بسیار زیاد به FAABS ’00, ’02 و ’04 ناشی شده است و همه فصل ها به روز شده اند یا تحقیقات جدید را نشان می دهند و برای ارائه یک درمان عمیق تر از موضوع طراحی شده اند. نمونه‌هایی از نحوه استفاده دیگران از روش‌های رسمی برای سیستم‌های مبتنی بر عامل، به‌علاوه ابزارها و تکنیک‌های روش رسمی که خوانندگان می‌توانند در سیستم‌های خود اعمال کنند، گنجانده شده است.
تکنولوژی عامل از دیدگاه رسمی، دیدگاهی عمیق از موضوعات کلیدی مرتبط با فناوری عامل از دیدگاه رسمی ارائه می دهد. از آنجایی که این یک زمینه میان رشته ای نسبتاً جدید است، فضای زیادی برای رشد بیشتر وجود دارد و این کتاب نه تنها پایه اولیه را ایجاد می کند، بلکه به شکاف ها نیز اشاره می کند. نشان‌دهنده مشکلات باز است که باید توسط محققان، دانشجویان و پزشکان آینده مورد توجه قرار گیرد.
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.
دانلود کتاب «فناوری عامل از دیدگاه رسمی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.