دانلود کتاب Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS’98 Brno, Czech Republic, August 24–28, 1998 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 1998: بیست و سومین سمپوزیوم بین المللی، MFCS’98 برنو، جمهوری چک، 24 تا 28 آگوست، 1998 مجموعه مقالات) نوشته شده توسط «Giorgio Ausiello – Giuseppe F. Italiano (auth.) – Luboš Brim – Jozef Gruska – Jiří Zlatuška (eds.)»
اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 1998: بیست و سومین سمپوزیوم بین المللی، MFCS’98 برنو، جمهوری چک، 24 تا 28 آگوست، 1998 مجموعه مقالات
موضوع اصلی: علمی-محبوب
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Giorgio Ausiello – Giuseppe F. Italiano (auth.) – Luboš Brim – Jozef Gruska – Jiří Zlatuška (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 854
حجم کتاب: 12 مگابایت
کد کتاب: 3540648275 , 9783540648277
نوبت چاپ: 1
توضیحات کتاب مبانی ریاضی علوم کامپیوتر 1998: بیست و سومین سمپوزیوم بین المللی، MFCS’98 برنو، جمهوری چک، 24 تا 28 آگوست، 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین سمپوزیوم بین‌المللی مبانی ریاضی علوم کامپیوتر، MFCS’98 است که در برنو، جمهوری چک، در آگوست 1998 برگزار شد.
71 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی شدند و از مجموع 168 ارسال انتخاب شده است. همچنین شامل 11 نظرسنجی دعوت شده کامل توسط رهبران برجسته در منطقه است. مقالات در بخش های موضوعی در مورد پیچیدگی مسئله سازماندهی شده اند. منطق، معناشناسی، و خودکار؛ بازنویسی؛ اتومات ها و مبدل ها؛ تایپ کردن؛ همزمانی، معناشناسی و منطق؛ پیچیدگی مدار؛ برنامه نويسي؛ پیچیدگی ساختاری؛ زبان های رسمی؛ نمودارها پیچیدگی و منطق تورینگ؛ نمودارهای تصمیم باینری و غیره.
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS’98, held in Brno, Czech Republic, in August 1998.
The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. Also included are 11 full invited surveys by prominent leaders in the area. The papers are organized in topical sections on problem complexity; logic, semantics, and automata; rewriting; automata and transducers; typing; concurrency, semantics, and logic; circuit complexity; programming; structural complexity; formal languages; graphs; Turing complexity and logic; binary decision diagrams, etc..
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.