دانلود کتاب Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (به فارسی: روش‌های رسمی برای محاسبات سیار: پنجمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانی‌های پیشرفته) نوشته شده توسط «Ugo Montanari – Marco Pistore (auth.) – Marco Bernardo – Alessandro Bogliolo (eds.)»
اطلاعات کتاب روش‌های رسمی برای محاسبات سیار: پنجمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانی‌های پیشرفته
موضوع اصلی: سازمان و پردازش داده ها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Ugo Montanari – Marco Pistore (auth.) – Marco Bernardo – Alessandro Bogliolo (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 272
حجم کتاب: 3 مگابایت
کد کتاب: 3540256970 , 9783540256977
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی برای محاسبات سیار: پنجمین مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM-Moby 2005، برتینورو، ایتالیا، 26-30 آوریل، 2005، سخنرانی‌های پیشرفته
این کتاب 8 مقاله نظرسنجی آموزشی توسط محققان برجسته ارائه می‌دهد که در پنجمین مدرسه بین‌المللی در مورد روش‌های رسمی برای طراحی رایانه، ارتباطات و سیستم‌های نرم‌افزاری، SFM 2005، که در آوریل 2005 در برتینورو، ایتالیا برگزار شد، سخنرانی کردند.
SFM 2005 به روش‌ها و ابزارهای رسمی برای طراحی سیستم‌های سیار و زیرساخت‌های ارتباطی سیار اختصاص داشت. این 8 سخنرانی در بخش‌های موضوعی در مورد مدل‌ها و زبان‌ها، مقیاس‌پذیری و عملکرد، مدیریت انرژی پویا، و پشتیبانی میان‌افزار سازمان‌دهی شده‌اند.
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.
SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.