دانلود کتاب Theoretical Aspects of Computing – ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات) نوشته شده توسط «J. -R. Abrial – Thai Son Hoang (auth.) – John S. Fitzgerald – Anne E. Haxthausen – Husnu Yenigun (eds.)»
اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات
موضوع اصلی: سازمان و پردازش داده ها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: J. -R. Abrial – Thai Son Hoang (auth.) – John S. Fitzgerald – Anne E. Haxthausen – Husnu Yenigun (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 455
حجم کتاب: 6 مگابایت
کد کتاب: 3540857613 , 9783540857617
نوبت چاپ: 1
توضیحات کتاب جنبه های نظری محاسبات – ICTAC 2008: 5th International Colloquium، استانبول، ترکیه، 1-3 سپتامبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2008 است که در استانبول، ترکیه در سپتامبر 2008 برگزار شد.
27 مقاله کامل اصلاح‌شده با دقت بررسی شدند و از بین بیش از 70 ارسال انتخاب شده است. هدف از این گردهمایی گرد هم آوردن متخصصان و محققان از دانشگاه، صنعت و دولت برای ارائه نتایج تحقیقات و تبادل تجربیات، ایده ها و راه حل هایی برای مشکلات آنها در جنبه های نظری محاسبات مانند تئوری خودکار و زبان های رسمی، اصول و معناشناسی است. زبان‌های برنامه‌نویسی، معماری‌های نرم‌افزار و زبان‌های توصیف آنها، مشخصات نرم‌افزار، اصلاح و تأیید، بررسی مدل و اثبات قضیه، سیستم‌های بلادرنگ، تعبیه‌شده و ترکیبی، تئوری محاسبات موازی، توزیع‌شده و مبتنی بر اینترنت (شبکه)، شبیه‌سازی و مدل سازی و توسعه سرویس گرا.
This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008.
The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.