دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 ، Bertinoro ، ایتالیا ، 26-30 آوریل 2005 ، سخنرانیهای پیشرفته
مشخصات کتاب
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
دسته بندی: سازمان و پردازش داده ها ویرایش: 1 نویسندگان: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.) سری: Lecture Notes in Computer Science 3465 : Programming and Software Engineering ISBN (شابک) : 3540256970, 9783540256977 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 277 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب روشهای رسمی محاسبات موبایل: پنجمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM-Moby 2005 ، Bertinoro ، ایتالیا ، 26-30 آوریل 2005 ، سخنرانیهای پیشرفته: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، سیستم های هدف خاص و مبتنی بر برنامه، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی محاسبات موبایل: پنجمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM-Moby 2005 ، Bertinoro ، ایتالیا ، 26-30 آوریل 2005 ، سخنرانیهای پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی محاسبات موبایل: پنجمین مدرسه بین المللی روشهای رسمی طراحی سیستمهای رایانه ای ، ارتباطی و نرم افزاری ، SFM-Moby 2005 ، Bertinoro ، ایتالیا ، 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.
فهرست مطالب
Front Matter....Pages -
History-Dependent Automata: An Introduction....Pages 1-28
Mobile Distributed Programming in X-Klaim ....Pages 29-68
Dealing with Node Mobility in Ad Hoc Wireless Network....Pages 69-106
Performance Analysis of Mobile Systems....Pages 107-154
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management....Pages 155-189
Dynamic Power Management Strategies Within the IEEE 802.11 Standard....Pages 190-214
Network Swapping....Pages 215-233
Hermes: Agent-Based Middleware for Mobile Computing....Pages 234-270
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Docker High Performance
دانلود کتاب Practical Signal and Image Processing in Clinical Cardiology
دانلود کتاب History of Nordic Computing
دانلود کتاب Seismic data analysis (unoficcial translate)
دانلود کتاب Database Administration: The Complete Guide to Practices and Procedures
دانلود کتاب Guidelines for Process Equipment Reliability Data (with Data Tables )
دانلود کتاب THEORY OF COMPUTER SCIENCE Automata, Languages and Computation
دانلود کتاب Joint Key-frame Extraction and Object Segmentation for Content-based Video Analysis
دانلود کتاب Computing Galois groups of polynomials through ODEs 2000
