دانلود کتاب Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 1989: Porabka-Kozubnik، لهستان 28 اوت – 1 سپتامبر 1989 مجموعه مقالات) نوشته شده توسط «Valery N. Agafonov (auth.) – Antoni Kreczmar – Grazyna Mirkowska (eds.)»
اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 1989: Porabka-Kozubnik، لهستان 28 اوت – 1 سپتامبر 1989 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Valery N. Agafonov (auth.) – Antoni Kreczmar – Grazyna Mirkowska (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 610
حجم کتاب: 7 مگابایت
کد کتاب: 3540514864 , 9783540514862
نوبت چاپ: 1
توضیحات کتاب مبانی ریاضی علوم کامپیوتر 1989: Porabka-Kozubnik، لهستان 28 اوت – 1 سپتامبر 1989 مجموعه مقالات
جلد حاضر شامل مقالاتی است که برای ارائه در چهاردهمین سمپوزیوم مبانی ریاضی علوم کامپیوتر – MFCS ’89 در Porabka-Kozubnik، لهستان، از 28 اوت تا 1 سپتامبر 1989 برگزار شد. مقالات قبلی MFC نیز در این مقاله منتشر شده است. یادداشت های سخنرانی در علوم کامپیوتر. این جلد تحقیقات و نتایجی را در علوم کامپیوتر نظری، به ویژه در زمینه‌های زیر ارائه می‌کند: منطق برنامه‌ها، محاسبات موازی و توزیع‌شده، پایگاه‌های داده قیاسی، خودکار و زبان‌های رسمی، الگوریتم‌ها و ساختارهای داده، مشخصات و اعتبار نرم‌افزار، نظریه پیچیدگی و محاسبه‌پذیری.
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science – MFCS ’89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.
