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

مبانی ریاضی علوم کامپیوتر 2001: بیست و ششمین سمپوزیوم بین المللی، MFCS 2001 Mariánské Lázne، جمهوری چک، 27-31 اوت، 2001 مجموعه مقالات

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings

دانلود کتاب Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 2001: بیست و ششمین سمپوزیوم بین المللی، MFCS 2001 Mariánské Lázne، جمهوری چک، 27-31 اوت، 2001 مجموعه مقالات) نوشته شده توسط «Dana S. Scott (auth.) – Jiří Sgall – Aleš Pultr – Petr Kolman (eds.)»


اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 2001: بیست و ششمین سمپوزیوم بین المللی، MFCS 2001 Mariánské Lázne، جمهوری چک، 27-31 اوت، 2001 مجموعه مقالات

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Dana S. Scott (auth.) – Jiří Sgall – Aleš Pultr – Petr Kolman (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 718

حجم کتاب: 6 مگابایت

کد کتاب: 3540424962 , 9783540424963

نوبت چاپ: 1

توضیحات کتاب مبانی ریاضی علوم کامپیوتر 2001: بیست و ششمین سمپوزیوم بین المللی، MFCS 2001 Mariánské Lázne، جمهوری چک، 27-31 اوت، 2001 مجموعه مقالات

این کتاب مجموعه مقالات داوری بیست و ششمین سمپوزیوم بین‌المللی مبانی ریاضی علوم کامپیوتر، MFCS 2001 است که در ماریانسکه لزنه، جمهوری چک در اوت 2001 برگزار شد. در مجموع 118 ارسال تمام جنبه های فعلی علم کامپیوتر نظری از منطق ریاضی و نظریه برنامه نویسی گرفته تا الگوریتم ها، ریاضیات گسسته و نظریه پیچیدگی مورد توجه قرار می گیرد. علاوه بر مسائل کلاسیک، موضوعات مدرن مانند محاسبات کوانتومی نیز مورد بحث قرار می گیرد.


This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS 2001, held in Marianske Lazne, Czech Republic in August 2001. The 51 revised full papers presented together with 10 invited contributions were carefully reviewed and selected from a total of 118 submissions. All current aspects of theoretical computer science are addressed ranging from mathematical logic and programming theory to algorithms, discrete mathematics, and complexity theory. Besides classical issues, modern topics like quantum computing are discussed as well.

دانلود کتاب «مبانی ریاضی علوم کامپیوتر 2001: بیست و ششمین سمپوزیوم بین المللی، MFCS 2001 Mariánské Lázne، جمهوری چک، 27-31 اوت، 2001 مجموعه مقالات»

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