دانلود کتاب Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings (به فارسی: خودکارها، زبان ها و برنامه نویسی: سی امین کنفرانس بین المللی، ICALP 2003 آیندهوون، هلند، 30 ژوئن – 4 ژوئیه، 2003 مجموعه مقالات) نوشته شده توسط «Jan A. Bergstra – Inge Bethke (auth.) – Jos C. M. Baeten – Jan Karel Lenstra – Joachim Parrow – Gerhard J. Woeginger (eds.)»
اطلاعات کتاب خودکارها، زبان ها و برنامه نویسی: سی امین کنفرانس بین المللی، ICALP 2003 آیندهوون، هلند، 30 ژوئن – 4 ژوئیه، 2003 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Jan A. Bergstra – Inge Bethke (auth.) – Jos C. M. Baeten – Jan Karel Lenstra – Joachim Parrow – Gerhard J. Woeginger (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 1199
حجم کتاب: 9 مگابایت
کد کتاب: 3540404937 , 9783540404934
نوبت چاپ: 1
توضیحات کتاب خودکارها، زبان ها و برنامه نویسی: سی امین کنفرانس بین المللی، ICALP 2003 آیندهوون، هلند، 30 ژوئن – 4 ژوئیه، 2003 مجموعه مقالات
این کتاب مجموعه مقالات داوری سی‌امین کنفرانس بین‌المللی اتومات، زبان‌ها و برنامه‌نویسی، ICALP 2003 است که در آیندهوون، هلند در ژوئن/ژوئیه 2003 برگزار شد.
84 مقاله کامل اصلاح‌شده با هم ارائه شدند. با شش مقاله دعوت شده به دقت بررسی و از بین 212 مقاله ارسالی انتخاب شد. مقالات در بخش‌های موضوعی در مورد الگوریتم‌ها، جبر فرآیند، الگوریتم‌های تقریب، زبان‌ها و برنامه‌نویسی، پیچیدگی، ساختار داده، الگوریتم‌های نمودار، خودکار، بهینه‌سازی و بازی‌ها، نمودارها و دوشبیه‌سازی، مشکلات آنلاین، تأیید، اینترنت، منطق زمانی و مدل سازمان‌دهی شده‌اند. بررسی، مسائل نمودار، منطق و حساب لامبدا، ساختارها و الگوریتم‌های داده، انواع و دسته‌ها، سیستم‌های احتمالی، نمونه‌برداری و تصادفی، زمان‌بندی، و مسائل هندسی.
This book constitutes the refereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.
The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambda-calculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.