اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
قیمت اصلی 127,000 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
خرید و دانلود نسخه کامل کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
قیمت اصلی 163,000 تومان بود.88,000 تومانقیمت فعلی 88,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
01ساعت
32دقیقه
05ثانیه
-43%
خرید و دانلود نسخه کامل کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
تعداد فروش: 48
| عنوان فارسی |
تجزیه و تحلیل استاتیک: سیزدهمین سمپوزیوم بین المللی، SAS 2006، سئول، کره، 29-31 اوت 2006. مجموعه مقالات |
|---|---|
| عنوان اصلی | Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Manuvir Das (auth.), Kwangkeun Yi (eds.) |
| ISBN | 3540377565, 9783540377566 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 453 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری سیزدهمین سمپوزیوم بین المللی آنالیز استاتیک، SAS 2006 است که در سئول، کره در آگوست 2006 برگزار شد.
23 مقاله کامل اصلاح شده ارائه شده است. به همراه چکیده 3 سخنرانی دعوت شده به دقت بررسی و از بین 80 مورد ارسالی انتخاب شد. این مقالات به تمام جنبه های تجزیه و تحلیل استاتیک از جمله تأیید برنامه و سیستم، تجزیه و تحلیل شکل و منطق، تجزیه و تحلیل خاتمه، تشخیص اشکال، بهینه سازی کامپایلر، نگهداری نرم افزار، امنیت و ایمنی، تفسیر و الگوریتم های انتزاعی، ساختارهای دامنه و داده انتزاعی، تجزیه و تحلیل اشاره گر، شکل می پردازند. تجزیه و تحلیل، و تجزیه و تحلیل جریان داده ها.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.