دانلود کتاب Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات) نوشته شده توسط «Dines Bjørner (auth.) – Cliff B. Jones – Zhiming Liu – Jim Woodcock (eds.)»
اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات
موضوع اصلی: سازمان و پردازش داده ها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Dines Bjørner (auth.) – Cliff B. Jones – Zhiming Liu – Jim Woodcock (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 486
حجم کتاب: 5 مگابایت
کد کتاب: 3540752900 , 9783540752905
نوبت چاپ: 1
توضیحات کتاب جنبه های نظری محاسبات – ICTAC 2007: چهارمین کنفرانس بین المللی، ماکائو، چین، 26-28 سپتامبر 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی جنبه های نظری محاسبات، ICTAC 2007 است که در ماکائو، چین در سپتامبر 2007 برگزار شد.
29 مقاله کامل اصلاح شده همراه با 3 مقاله ارائه شده است. گفتگوهای دعوت شده و خلاصه 2 آموزش به دقت بررسی و از بین 69 مورد ارسالی انتخاب شد. هدف از این گردهمایی گرد هم آوردن متخصصان و محققان از دانشگاه، صنعت و دولت برای ارائه نتایج تحقیقات و تبادل تجربیات، ایده ها و راه حل هایی برای مشکلات آنها در جنبه های نظری محاسبات مانند تئوری خودکار و زبان های رسمی، اصول و معناشناسی است. زبان‌های برنامه‌نویسی، معماری‌های نرم‌افزار و زبان‌های توصیف آنها، مشخصات نرم‌افزار، اصلاح و تأیید، بررسی مدل و اثبات قضیه، سیستم‌های بلادرنگ، تعبیه‌شده و ترکیبی، تئوری محاسبات موازی، توزیع‌شده و مبتنی بر اینترنت (شبکه)، شبیه‌سازی و مدل سازی و توسعه سرویس گرا.
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.
The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 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 ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.