دانلود کتاب Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings (به فارسی: جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات) نوشته شده توسط «José Meseguer (auth.) – Dang Van Hung – Martin Wirsing (eds.)»
اطلاعات کتاب جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات
موضوع اصلی: سازمان و پردازش داده ها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: José Meseguer (auth.) – Dang Van Hung – Martin Wirsing (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 618
حجم کتاب: 6 مگابایت
کد کتاب: 3540291075 , 9783540291077
نوبت چاپ: 1
توضیحات کتاب جنبه های نظری محاسبات – ICTAC 2005: دومین کنفرانس بین المللی، هانوی، ویتنام، 17-21 اکتبر 2005. مجموعه مقالات
این جلد شامل مجموعه مقالات ICTAC 2005، دومین کنفرانس بین المللی ICTAC در جنبه های نظری محاسبات است. ICTAC 2005 در هانوی، ویتنام، 17 تا 21 اکتبر 2005 برگزار شد. ICTAC توسط مؤسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد (UNU-IIST) تأسیس شد تا به عنوان انجمنی برای متخصصان، مدرسان و محققان از دانشگاه، صنعت و دولت که علاقه مند به جنبه های نظری محاسبات و رویکردهای دقیق مهندسی نرم افزار هستند. هدف این کولوکیوم به ویژه، اما نه منحصرا، برای شرکت کنندگانی از کشورهای در حال توسعه است. ما معتقدیم که این به کشورهای در حال توسعه کمک می کند تا تحقیقات، آموزش و توسعه خود را در علوم و مهندسی کامپیوتر تقویت کنند، پیوندهای بین کشورهای در حال توسعه و کشورهای توسعه یافته را بهبود بخشند و همکاری در تحقیق و آموزش ایجاد کنند. این گفتگو با فراهم کردن زمینه ای برای بحث در مورد مشکلات رایج و راه حل های آنها و تبادل تجربیات و ایده ها، از تحقیق و توسعه در علوم کامپیوتر و فناوری نرم افزار پشتیبانی می کند. ICTAC توجه بیشتر و بیشتری را از کشورهای بیشتری به خود جلب می کند.
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.
