دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamentals of Computation Theory: International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
دانلود کتاب مبانی تئوری محاسبات: کنفرانس بین المللی FCT '89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات
مشخصات کتاب
Fundamentals of Computation Theory: International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
ویرایش: [1 ed.] نویسندگان: Habib Abdulrab, Jean-Pierre Pécuchet (auth.), J. Csirik, J. Demetrovics, F. Gécseg (eds.) سری: Lecture Notes in Computer Science 380 ISBN (شابک) : 3540514988, 9783540514985 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 498 [503] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 74,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Fundamentals of Computation Theory: International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تئوری محاسبات: کنفرانس بین المللی FCT '89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تئوری محاسبات: کنفرانس بین المللی FCT '89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات
این جلد شامل مجموعه مقالات کنفرانس مبانی نظریه محاسبات است که در سگد، مجارستان، 21 تا 25 اوت 1989 برگزار شد. این کنفرانس هفتمین کنفرانس از سری کنفرانس های FCT است که در 1977 در پوزنان-کورنیک، لهستان. مقالات جمعآوریشده در این جلد، متون مشارکتهای دعوتشده و ارتباطات کوتاهتر هستند که در یکی از بخشهای زیر قرار میگیرند: - محاسبات کارآمد توسط دستگاههای انتزاعی: خودکار، محاسبهپذیری، محاسبات احتمالی، محاسبات موازی و توزیع شده. - منطق و معانی برنامهها: رویکردهای جبری و مقولهای به معناشناسی، منطق محاسباتی، برنامهنویسی منطقی، تأیید، تبدیلهای برنامه، برنامهنویسی تابعی. - زبان های رسمی: سیستم های بازنویسی، نظریه زبان جبری. - پیچیدگی محاسباتی: تجزیه و تحلیل و پیچیدگی الگوریتمها، طراحی الگوریتمهای کارآمد، الگوریتمها و ساختارهای داده، هندسه محاسباتی، کلاسها و سلسلهمراتب پیچیدگی، محدودههای پایینتر.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical Approaches to Semantics, Computational Logic, Logic Programming, Verification, Program Transformations, Functional Programming; - Formal Languages: Rewriting Systems, Algebraic Language Theory; - Computational Complexity: Analysis and Complexity of Algorithms, Design of Efficient Algorithms, Algorithms and Data Structures, Computational Geometry, Complexity Classes and Hierarchies, Lower Bounds.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Pro Django (Source Code)
دانلود کتاب MR Cholangiopancreatography: Atlas with Cross-Sectional Imaging Correlation
دانلود کتاب Cengage Advantage Books: A People and a Nation: A History of the United States, Volume II
دانلود کتاب Barbara Leigh Smith Bodichon and George Eliot: an examination of their work and friendship
