دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) سری: Lecture Notes in Computer Science 711 ISBN (شابک) : 3540571825, 9783540571827 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 786 [797] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
در صورت تبدیل فایل کتاب Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضی علوم کامپیوتر 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.