دانلود کتاب Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings (به فارسی: اتومات، زبان ها و برنامه نویسی: بیستمین کنفرانس بین المللی، ICALP 93 لوند، سوئد، 5 تا 9 ژوئیه، 1993 مجموعه مقالات) نوشته شده توسط «Manuel Blum (auth.) – Andrzej Lingas – Rolf Karlsson – Svante Carlsson (eds.)»
اطلاعات کتاب اتومات، زبان ها و برنامه نویسی: بیستمین کنفرانس بین المللی، ICALP 93 لوند، سوئد، 5 تا 9 ژوئیه، 1993 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Manuel Blum (auth.) – Andrzej Lingas – Rolf Karlsson – Svante Carlsson (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 703
حجم کتاب: 7 مگابایت
کد کتاب: 3540569391 , 9783540569398
نوبت چاپ: 1
توضیحات کتاب اتومات، زبان ها و برنامه نویسی: بیستمین کنفرانس بین المللی، ICALP 93 لوند، سوئد، 5 تا 9 ژوئیه، 1993 مجموعه مقالات
کنفرانس بین المللی اتومات، زبان ها و برنامه نویسی (ICALP) یک مجموعه کنفرانس سالانه است که توسط انجمن اروپایی علوم کامپیوتر نظری (EATCS) حمایت می شود. در نظر گرفته شده است که تمام حوزه های مهم علوم کامپیوتر نظری را پوشش دهد، مانند: محاسبه پذیری، خودکار، زبان های رسمی، بازنویسی اصطلاحات، تجزیه و تحلیل الگوریتم ها، هندسه محاسباتی، پیچیدگی محاسباتی، محاسبات نمادین و جبری، رمزنگاری، انواع داده ها و ساختارهای داده، نظریه. پایگاه های داده و پایگاه های دانش، معناشناسی زبان های برنامه نویسی، مشخصات برنامه، تبدیل و تأیید، مبانی برنامه نویسی منطقی، نظریه طراحی و چیدمان منطقی، محاسبات موازی و توزیع شده، نظریه همزمانی و نظریه رباتیک. این جلد شامل مجموعه مقالات ICALP 93 است که در دانشگاه Lund، سوئد، در ژوئیه 1993 برگزار شد. شامل پنج مقاله دعوت شده و 51 مقاله مشارکتی است که از 151 مقاله ارسالی انتخاب شده اند.
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.