دانلود کتاب Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings (به فارسی: علوم کامپیوتر نظری: نهمین کنفرانس ایتالیا، ICTCS 2005، سینا، ایتالیا، 12-14 اکتبر 2005. مجموعه مقالات) نوشته شده توسط «Giuseppe Castagna (auth.) – Mario Coppo – Elena Lodi – G. Michele Pinna (eds.)»
اطلاعات کتاب علوم کامپیوتر نظری: نهمین کنفرانس ایتالیا، ICTCS 2005، سینا، ایتالیا، 12-14 اکتبر 2005. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Giuseppe Castagna (auth.) – Mario Coppo – Elena Lodi – G. Michele Pinna (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 411
حجم کتاب: 4 مگابایت
کد کتاب: 3540291067 , 9783540291060
نوبت چاپ: 1
توضیحات کتاب علوم کامپیوتر نظری: نهمین کنفرانس ایتالیا، ICTCS 2005، سینا، ایتالیا، 12-14 اکتبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی علوم کامپیوتر نظری، ICTCS 2005 است که در Certosa di Pontignano، سینا، ایتالیا، در اکتبر 2005 برگزار شد.
29 مقاله کامل اصلاح شده ارائه شده است. همراه با مقاله دعوت شده و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 83 مورد ارسالی انتخاب شد. این مقالات به تمام مسائل جاری در علوم کامپیوتر نظری می پردازند و به ویژه بر تجزیه و تحلیل و طراحی الگوریتم ها، قابلیت محاسبه، پیچیدگی محاسباتی، رمزنگاری، زبان های رسمی و خودکار، مبانی زبان های برنامه نویسی و تجزیه و تحلیل برنامه، پارادایم های محاسباتی طبیعی (محاسبات کوانتومی، بیوانفورماتیک)، تمرکز دارند. مشخصات و تایید برنامه، بازنویسی اصطلاح، تئوری طراحی و طرح منطقی، نظریه نوع، امنیت، و محاسبات نمادین و جبری.
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005.
The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.