دانلود کتاب Automata, Languages and Programming: 25th International Colloquium, ICALP’98 Aalborg, Denmark, July 13–17, 1998 Proceedings (به فارسی: خودکار، زبان ها و برنامه نویسی: بیست و پنجمین کنفرانس بین المللی، ICALP’98 آلبورگ، دانمارک، 13 تا 17 ژوئیه، 1998 مجموعه مقالات) نوشته شده توسط «Yonit Kesten – Amir Pnueli – Li-on Raviv (auth.) – Kim G. Larsen – Sven Skyum – Glynn Winskel (eds.)»
اطلاعات کتاب خودکار، زبان ها و برنامه نویسی: بیست و پنجمین کنفرانس بین المللی، ICALP’98 آلبورگ، دانمارک، 13 تا 17 ژوئیه، 1998 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Yonit Kesten – Amir Pnueli – Li-on Raviv (auth.) – Kim G. Larsen – Sven Skyum – Glynn Winskel (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 936
حجم کتاب: 7 مگابایت
کد کتاب: 3540647813 , 9783540647812
نوبت چاپ: 1
توضیحات کتاب خودکار، زبان ها و برنامه نویسی: بیست و پنجمین کنفرانس بین المللی، ICALP’98 آلبورگ، دانمارک، 13 تا 17 ژوئیه، 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین کنفرانس بین‌المللی اتومات، زبان‌ها و برنامه‌نویسی، ICALP’98 است که در آلبورگ، دانمارک، در ژوئیه 1998 برگزار شد.
70 مقاله کامل اصلاح‌شده ارائه شده به همراه هشت مشارکت دعوت شده ارائه شد. با دقت از مجموع 182 ارسالی انتخاب شده است. این کتاب در بخش‌های موضوعی در مورد پیچیدگی، تأیید، ساختار داده، همزمانی، هندسه محاسباتی، خودکار و منطق زمانی، الگوریتم‌ها، سیستم‌های حالت بی‌نهایت، معناشناسی، تقریب، اثبات تورم، زبان‌های رسمی، حساب پی، خودکار و BSP، بازنویسی تقسیم شده است. ، شبکه و مسیریابی، دانش صفر، محاسبات کوانتومی و غیره.
This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP’98, held in Aalborg, Denmark, in July 1998.
The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc..
