دانلود کتاب FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings (به فارسی: FSTTCS 2007: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و هفتمین کنفرانس بین المللی، دهلی نو، هند، 12-14 دسامبر، 2007. مجموعه مقالات) نوشته شده توسط «Maurice Herlihy (auth.) – V. Arvind – Sanjiva Prasad (eds.)»
اطلاعات کتاب FSTTCS 2007: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و هفتمین کنفرانس بین المللی، دهلی نو، هند، 12-14 دسامبر، 2007. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Maurice Herlihy (auth.) – V. Arvind – Sanjiva Prasad (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 560
حجم کتاب: 6 مگابایت
کد کتاب: 3540770496 , 9783540770497
نوبت چاپ: 1
توضیحات کتاب FSTTCS 2007: مبانی فناوری نرم افزار و علوم کامپیوتر نظری: بیست و هفتمین کنفرانس بین المللی، دهلی نو، هند، 12-14 دسامبر، 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هفتمین کنفرانس بین‌المللی مبانی فناوری نرم‌افزار و علوم کامپیوتر نظری، FSTTCS 2007، در دهلی نو، هند، در دسامبر 2007 است.
40 مورد تجدید نظر شده کامل مقالات ارائه شده همراه با پنج مقاله دعوت شده به دقت بررسی و از بین 135 مقاله ارسالی انتخاب شدند. این مقالات نتایج تحقیقاتی اصلی را در جنبه‌های اساسی علوم رایانه و همچنین گزارش‌هایی از خط مقدم فناوری نرم‌افزار و علوم نظری رایانه ارائه می‌کنند.
تعداد گسترده‌ای از موضوعات جاری از نظریه محاسبات، از علم نرم‌افزار، نظریه برنامه‌نویسی، طراحی و تجزیه و تحلیل سیستم‌ها، روش‌های رسمی، منطق ریاضی، مبانی ریاضی، ریاضیات گسسته، ریاضیات ترکیبی، پیچیدگی پرداخته شده است. نظریه، و نظریه خودکار به علوم کامپیوتر نظری به طور کلی.
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007.
The 40 revised full papers presented together with five invited papers were carefully reviewed and selected from 135 submissions. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science.
A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.