دانلود کتاب Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings (به فارسی: خودکار، زبان ها و برنامه نویسی: نوزدهمین کنفرانس بین المللی وین، اتریش، 13 تا 17 ژوئیه، 1992 مجموعه مقالات) نوشته شده توسط «Ming Li – Paul M. B. Vitányi (auth.) – W. Kuich (eds.)»
اطلاعات کتاب خودکار، زبان ها و برنامه نویسی: نوزدهمین کنفرانس بین المللی وین، اتریش، 13 تا 17 ژوئیه، 1992 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Ming Li – Paul M. B. Vitányi (auth.) – W. Kuich (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 724
حجم کتاب: 10 مگابایت
کد کتاب: 3540557199 , 9783540557197
نوبت چاپ: 1
توضیحات کتاب خودکار، زبان ها و برنامه نویسی: نوزدهمین کنفرانس بین المللی وین، اتریش، 13 تا 17 ژوئیه، 1992 مجموعه مقالات
این جلد مجموعه مقالات نوزدهمین کنفرانس بین‌المللی اتومات، زبان‌ها و برنامه‌نویسی (ICALP 92) را در مجموعه‌ای از جلسات با حمایت انجمن اروپایی علوم کامپیوتر نظری (EATCS) ارائه می‌کند. ICALP یک کنفرانس گسترده است که تمام جنبه‌های علم کامپیوتر نظری را پوشش می‌دهد، از جمله موضوعاتی مانند محاسبه‌پذیری، خودکار، زبان‌های رسمی، بازنویسی اصطلاحات، تجزیه و تحلیل الگوریتم‌ها، هندسه محاسباتی، پیچیدگی محاسباتی، محاسبات نمادین و جبری، رمزنگاری، انواع داده‌ها و ساختار داده‌ها. تئوری پایگاه‌های اطلاعاتی و پایگاه‌های دانش، معناشناسی زبان‌های برنامه‌نویسی، مشخصات برنامه، تبدیل و تأیید، مبانی برنامه‌نویسی منطقی، نظریه طراحی و چیدمان منطقی، محاسبات موازی و توزیع‌شده، نظریه همزمانی، و نظریه رباتیک. مقالات این جلد به بخش های موضوعی مطابق با ترتیب ارائه آنها در ICALP 92 گروه بندی می شوند.
This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics 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 databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92.
