دانلود کتاب Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS ’97 Bratislava, Slovakia, August 25–29, 1997 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 1997: بیست و دومین سمپوزیوم بین المللی، MFCS ’97 براتیسلاوا، اسلواکی، 25-29 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Samson Abramsky (auth.) – Igor Prívara – Peter Ružička (eds.)»
اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 1997: بیست و دومین سمپوزیوم بین المللی، MFCS ’97 براتیسلاوا، اسلواکی، 25-29 اوت، 1997 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Samson Abramsky (auth.) – Igor Prívara – Peter Ružička (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 526
حجم کتاب: 6 مگابایت
کد کتاب: 3540634371 , 9783540634379
نوبت چاپ: 1
توضیحات کتاب مبانی ریاضی علوم کامپیوتر 1997: بیست و دومین سمپوزیوم بین المللی، MFCS ’97 براتیسلاوا، اسلواکی، 25-29 اوت، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و دومین سمپوزیوم بین‌المللی مبانی ریاضی علوم کامپیوتر، MFCS ’97، برگزار شده در براتیسلاوا، اسلواکی، در اوت 1997 است.
40 مقاله کامل اصلاح شده ارائه شده با دقت از مجموع مقالات انتخاب شدند از 94 ارسالی همچنین شامل نه مقاله دعوت شده و دو چکیده از سخنرانی های دعوت شده است. این مقالات طیف وسیعی از علوم کامپیوتر نظری از جمله تئوری برنامه نویسی، نظریه پیچیدگی، منطق ریاضی، بازنویسی، گرامر، زبان های رسمی، نظریه الگوریتم ها، نظریه گراف محاسباتی و غیره را پوشش می دهند.
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS ’97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.
