دانلود کتاب ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
کتاب ICT در آموزش، پژوهش و کاربردهای صنعتی: هشتمین کنفرانس بین المللی، ICTERI 2012، Kherson، اوکراین، 6-10 ژوئن 2012، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب ICT در آموزش، پژوهش و کاربردهای صنعتی: هشتمین کنفرانس بین المللی، ICTERI 2012، Kherson، اوکراین، 6-10 ژوئن 2012، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
نام کتاب : ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : ICT در آموزش، پژوهش و کاربردهای صنعتی: هشتمین کنفرانس بین المللی، ICTERI 2012، Kherson، اوکراین، 6-10 ژوئن 2012، مقالات منتخب اصلاح شده
سری : Communications in Computer and Information Science 347
نویسندگان : Nadezhda Baklanova, Martin Strecker (auth.), Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 245
[256]
ISBN (شابک) : 978-3-642-357 , 978-3-642-357
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی فناوری اطلاعات و ارتباطات در آموزش، پژوهش و کاربردهای صنعتی است که در خرسون، اوکراین، در ژوئن 2012 برگزار شد. ارسالی ها این کتاب با یک مشارکت دعوت شده شروع می شود که محتوای یکی از گفتگوهای دعوت شده ICTERI 2012 را ارائه می کند. این فصل به مسائل انتزاع و تأیید خصوصیات در برنامه های جاوا بلادرنگ می پردازد. بقیه جلد در چهار بخش موضوعی ساختار یافته است: چارچوب‌های ICT، زیرساخت‌ها، یکپارچه‌سازی، و استقرار. منطق رسمی و چارچوب های مبتنی بر دانش؛ مدل‌سازی، مشخصات و تأیید سیستم‌های مبتنی بر فناوری اطلاعات و ارتباطات: فناوری اطلاعات و ارتباطات در آموزش و یادگیری.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.
The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
پست ها تصادفی