دانلود کتاب Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings (به فارسی: خودکار، زبان ها و برنامه نویسی: هجدهمین کنفرانس بین المللی مادرید، اسپانیا، 8 تا 12 ژوئیه، 1991 مجموعه مقالات) نوشته شده توسط «Maurizio Gabbrielli – Giorgio Levi (auth.) – Javier Leach Albert – Burkhard Monien – Mario Rodríguez Artalejo (eds.)»
اطلاعات کتاب خودکار، زبان ها و برنامه نویسی: هجدهمین کنفرانس بین المللی مادرید، اسپانیا، 8 تا 12 ژوئیه، 1991 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Maurizio Gabbrielli – Giorgio Levi (auth.) – Javier Leach Albert – Burkhard Monien – Mario Rodríguez Artalejo (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 768
حجم کتاب: 8 مگابایت
کد کتاب: 3540542337 , 9783540542339
نوبت چاپ: 1
توضیحات کتاب خودکار، زبان ها و برنامه نویسی: هجدهمین کنفرانس بین المللی مادرید، اسپانیا، 8 تا 12 ژوئیه، 1991 مجموعه مقالات
این جلد شامل مجموعه مقالات ICALP ’91، هجدهمین کنفرانس تابستانی سالانه است که توسط انجمن اروپایی علوم کامپیوتر نظری (EATCS) حمایت می شود. ICALP مخفف International Coloquium on Automata, Languages, and Programming است و این مجموعه کنفرانس تمام حوزه های مهم علوم کامپیوتر نظری مانند: محاسبه پذیری، خودکار، زبان های رسمی، انواع و ساختار داده ها، نظریه پایگاه های داده و پایگاه های دانش، معناشناسی را پوشش می دهد. زبان های برنامه نویسی، مشخصات برنامه، تبدیل و تأیید، مبانی برنامه نویسی منطقی و تابعی، نظریه طراحی و چیدمان منطقی، محاسبات موازی و توزیع شده، نظریه همزمانی، محاسبات نمادین و جبری، سیستم های بازنویسی اصطلاحات، هندسه محاسباتی، رمزنگاری و نظریه رباتیک.
This volume contains the proceedings of ICALP ’91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.
