دانلود کتاب Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS’93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings (به فارسی: مبانی ریاضی علوم کامپیوتر 1993: هجدهمین سمپوزیوم بین المللی، MFCS’93 گدانسک، لهستان، 30 اوت تا 3 سپتامبر 1993 مجموعه مقالات) نوشته شده توسط «Krzysztof R. Apt – Sandro Etalle (auth.) – Andrzej M. Borzyszkowski – Stefan Sokołowski (eds.)»
اطلاعات کتاب مبانی ریاضی علوم کامپیوتر 1993: هجدهمین سمپوزیوم بین المللی، MFCS’93 گدانسک، لهستان، 30 اوت تا 3 سپتامبر 1993 مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Krzysztof R. Apt – Sandro Etalle (auth.) – Andrzej M. Borzyszkowski – Stefan Sokołowski (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 786
حجم کتاب: 8 مگابایت
کد کتاب: 3540571825 , 9783540571827
نوبت چاپ: 1
توضیحات کتاب مبانی ریاضی علوم کامپیوتر 1993: هجدهمین سمپوزیوم بین المللی، MFCS’93 گدانسک، لهستان، 30 اوت تا 3 سپتامبر 1993 مجموعه مقالات
این جلد شامل مجموعه مقالات هجدهمین سمپوزیوم بین المللی مبانی ریاضی علوم کامپیوتر، MFCS ’93 است که در گدانسک، لهستان، آگوست تا سپتامبر 1993 برگزار شد. سمپوزیوم MFCS که از سال 1972 هر ساله در لهستان و چکسلواکی سابق برگزار می شود یک سنت طولانی و جا افتاده دارند. در طول سال‌ها، آنها به عنوان محل ملاقات متخصصان همه شاخه‌های علوم کامپیوتر نظری، به ویژه – الگوریتم‌ها و پیچیدگی، نظریه خودکار و نظریه زبان‌ها، – سیستم‌های همزمان، توزیع‌شده و بلادرنگ، – نظریه عملکرد، منطق و برنامه نویسی شی گرا، – حساب لامبدا و نظریه نوع، – معناشناسی و منطق برنامه ها، و غیره. این جلد شامل 12 سخنرانی دعوت شده و 56 مقاله مشارکتی است که از 133 مورد ارسالی انتخاب شده است.
This volume contains the proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS ’93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular – algorithms and complexity, automata theory and theory of languages, – concurrent, distributed and real-time systems, – the theory of functional, logic and object-oriented programming, – lambda calculus and type theory, – semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.