دانلود کتاب Fundamentals of Computation Theory: 10th International Conference, FCT ’95 Dresden, Germany, August 22–25, 1995 Proceedings (به فارسی: مبانی تئوری محاسبات: دهمین کنفرانس بین المللی، FCT ’95 درسدن، آلمان، 22 تا 25 آگوست 1995 مجموعه مقالات) نوشته شده توسط «J. C. M. Baeten – J. A. Bergstra (auth.) – Horst Reichel (eds.)»
اطلاعات کتاب مبانی تئوری محاسبات: دهمین کنفرانس بین المللی، FCT ’95 درسدن، آلمان، 22 تا 25 آگوست 1995 مجموعه مقالات
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: J. C. M. Baeten – J. A. Bergstra (auth.) – Horst Reichel (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 441
حجم کتاب: 4 مگابایت
کد کتاب: 3540602496 , 9783540602491
نوبت چاپ: 1
توضیحات کتاب مبانی تئوری محاسبات: دهمین کنفرانس بین المللی، FCT ’95 درسدن، آلمان، 22 تا 25 آگوست 1995 مجموعه مقالات
این کتاب مجموعه مقالات دهمین کنفرانس بین المللی مبانی نظریه محاسبات، FCT ’95، برگزار شده در درسدن، آلمان در آگوست 1995 را ارائه می دهد.
این جلد شامل پنج سخنرانی دعوت شده و 32 مقاله تجدید نظر شده است که به دقت برای ارائه در FCT 95. طیف وسیعی از علم کامپیوتر نظری پوشش داده شده است. از جمله موضوعاتی که به آن پرداخته می شود، الگوریتم ها و ساختارهای داده، زبان های خودکار و رسمی، دسته ها و انواع، قابلیت محاسبه و پیچیدگی، منطق محاسباتی، هندسه محاسباتی، مشخصات سیستم ها، نظریه یادگیری، موازی سازی و همزمانی، بازنویسی و سیستم های جایگزین سطح بالا، و معناشناسی هستند. /p>
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT ’95, held in Dresden, Germany in August 1995.
The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT ’95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.
