نرم افزار: سیستم ها: محاسبات علمی

مبانی ریاضی علوم کامپیوتر 1989: Porabka-Kozubnik، لهستان 28 اوت – 1 سپتامبر 1989 مجموعه مقالات

Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings

دانلود کتاب 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.

دانلود کتاب «مبانی ریاضی علوم کامپیوتر 1989: Porabka-Kozubnik، لهستان 28 اوت – 1 سپتامبر 1989 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.