دانلود کتاب Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (به فارسی: خودکار، زبان ها و برنامه نویسی: سی و یکمین کنفرانس بین المللی، ICALP 2004، تورکو، فنلاند، 12-16 ژوئیه، 2004. مجموعه مقالات) نوشته شده توسط «Robert Harper (auth.) – Josep Díaz – Juhani Karhumäki – Arto Lepistö – Donald Sannella (eds.)»
اطلاعات کتاب خودکار، زبان ها و برنامه نویسی: سی و یکمین کنفرانس بین المللی، ICALP 2004، تورکو، فنلاند، 12-16 ژوئیه، 2004. مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Robert Harper (auth.) – Josep Díaz – Juhani Karhumäki – Arto Lepistö – Donald Sannella (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 1256
حجم کتاب: 21 مگابایت
کد کتاب: 3540228497 , 9783540228493 , 9783540278368
نوبت چاپ: 1
توضیحات کتاب خودکار، زبان ها و برنامه نویسی: سی و یکمین کنفرانس بین المللی، ICALP 2004، تورکو، فنلاند، 12-16 ژوئیه، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری سی و یکمین کنفرانس بین‌المللی اتومات، زبان‌ها و برنامه‌نویسی، ICALP 2004 است که در تورکو، فنلاند، در ژوئیه 2004 برگزار شد.
97 مقاله کامل اصلاح‌شده همراه با چکیده ارائه شده است. از 6 سخنرانی دعوت شده به دقت بررسی و از بین 379 مورد ارسالی انتخاب شد. این مقالات به تمام مسائل جاری در علم کامپیوتر نظری از جمله الگوریتم‌ها، خودکارها، پیچیدگی، رمزنگاری، منطق پایگاه داده، معناشناسی برنامه‌ها و نظریه برنامه‌نویسی می‌پردازند.
This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004.
The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.
