دانلود کتاب Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings (به فارسی: خودکارها، زبان ها و برنامه نویسی: بیست و هشتمین کنفرانس بین المللی، ICALP 2001 کرت، یونان، 8 تا 12 ژوئیه، 2001 مجموعه مقالات) نوشته شده توسط «Christos H. Papadimitriou (auth.) – Fernando Orejas – Paul G. Spirakis – Jan van Leeuwen (eds.)»
اطلاعات کتاب خودکارها، زبان ها و برنامه نویسی: بیست و هشتمین کنفرانس بین المللی، ICALP 2001 کرت، یونان، 8 تا 12 ژوئیه، 2001 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Christos H. Papadimitriou (auth.) – Fernando Orejas – Paul G. Spirakis – Jan van Leeuwen (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 1086
حجم کتاب: 6 مگابایت
کد کتاب: 3540422870 , 9783540422877
نوبت چاپ: 1
توضیحات کتاب خودکارها، زبان ها و برنامه نویسی: بیست و هشتمین کنفرانس بین المللی، ICALP 2001 کرت، یونان، 8 تا 12 ژوئیه، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هشتمین کنفرانس بینالمللی اتومات، زبانها و برنامهنویسی، ICALP 2001 است که در کرت، یونان در ژوئیه 2001 برگزار شد.
80 مقاله اصلاحشده ارائه شده همراه با دو مشارکت اصلی و چهار مقاله دعوتشده به دقت بررسی شدند. و از مجموع 208 ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد پیچیدگی جبری و مدار، تجزیه و تحلیل الگوریتم، تقریب و بهینه سازی، پیچیدگی، همزمانی، ساختارهای داده کارآمد، الگوریتم های گراف، تئوری زبان، کدها و خودکارها، بررسی مدل و تجزیه و تحلیل پروتکل، شبکه ها و مسیریابی، استدلال و تأیید، زمانبندی، محاسبات امن، مشخصات و کسر، و پیچیدگی ساختاری.
The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.