اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
قیمت اصلی 161,000 تومان بود.86,000 تومانقیمت فعلی 86,000 تومان است.
خرید و دانلود نسخه کامل کتاب Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
قیمت اصلی 127,000 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
22ساعت
32دقیقه
27ثانیه
-56%
خرید و دانلود نسخه کامل کتاب Static Analysis: Third International Symposium, SAS ’96 Aachen, Germany, September 24–26, 1996 Proceedings
قیمت اصلی 135,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
تعداد فروش: 43
| عنوان فارسی |
تجزیه و تحلیل استاتیک: سومین سمپوزیوم بین المللی، SAS ’96 آخن، آلمان، 24 تا 26 سپتامبر 1996 مجموعه مقالات |
|---|---|
| عنوان اصلی | Static Analysis: Third International Symposium, SAS ’96 Aachen, Germany, September 24–26, 1996 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Alex Aiken (auth.), Radhia Cousot, David A. SPDFidt (eds.) |
| ISBN | 3540617396, 9783540617396 |
| سال نشر | 1996 |
| زبان | English |
| تعداد صفحات | 399 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری سومین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک، SAS ’96، برگزار شده در آخن، آلمان، در سپتامبر 1996 همراه با ALP و PLILP است.
این جلد 22 مقاله کامل اصلاح شده با کیفیت بالا را ارائه می دهد. انتخاب از مجموع 79 ارسالی؛ همچنین شامل سه توصیف سیستم و مشارکت های دعوت شده توسط الکس آیکن (فقط چکیده)، فلمینگ نیلسون، و برنهارد استفن است. از جمله موضوعاتی که به آنها پرداخته می شود، می توان به تحلیل برنامه، تحلیل افزایشی، تفسیر انتزاعی، ارزیابی جزئی، برنامه نویسی منطقی، برنامه نویسی تابعی و برنامه نویسی محدودیت اشاره کرد.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.