دانلود کتاب Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 1991: شانزدهمین سمپوزیوم بین المللی Kazimierz Dolny، لهستان، 9 تا 13 سپتامبر 1991 مجموعه مقالات) نوشته شده توسط «J-L. Lassez – M. Maher – K. Marriott (auth.) – Andrzej Tarlecki (eds.)»
اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 1991: شانزدهمین سمپوزیوم بین المللی Kazimierz Dolny، لهستان، 9 تا 13 سپتامبر 1991 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: J-L. Lassez – M. Maher – K. Marriott (auth.) – Andrzej Tarlecki (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 437
حجم کتاب: 5 مگابایت
کد کتاب: 3540543457 , 9783540543459
نوبت چاپ: 1
توضیحات کتاب مبانی ریاضی علوم کامپیوتر 1991: شانزدهمین سمپوزیوم بین المللی Kazimierz Dolny، لهستان، 9 تا 13 سپتامبر 1991 مجموعه مقالات
این جلد شامل مجموعه مقالات شانزدهمین سمپوزیوم بین المللی مبانی ریاضی علوم کامپیوتر، MFCS ’91، برگزار شده در Kazimierz Dolny، لهستان، 9-13 سپتامبر 1991 است. مجموعه سمپوزیوم های MFCS، به طور متناوب در لهستان و چکسلواکی برگزار می شود. از سال 1972، دارای یک سنت طولانی و به خوبی تثبیت شده است. هدف از این مجموعه تشویق به تحقیقات با کیفیت بالا در همه شاخه های نظری علوم کامپیوتر و گرد هم آوردن متخصصانی است که به طور فعال در این منطقه کار می کنند. زمینه های اصلی مورد علاقه در این سمپوزیوم عبارتند از: مشخصات و توسعه نرم افزار، محاسبات موازی و توزیع شده، منطق و معناشناسی برنامه ها، الگوریتم ها، خودکارها و زبان های رسمی، نظریه پیچیدگی و محاسبه پذیری و غیره. این جلد شامل 5 مقاله دعوت شده توسط دانشمندان برجسته و 38 مشارکت انتخاب شده از مجموع 109 مقاله ارسال شده است.
This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS ’91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.