دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Nadezhda Baklanova, Martin Strecker (auth.), Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych (eds.) سری: Communications in Computer and Information Science 347 ISBN (شابک) : 9783642357367, 9783642357374 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 245 [256] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
در صورت تبدیل فایل کتاب ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ICT در آموزش، پژوهش و کاربردهای صنعتی: هشتمین کنفرانس بین المللی، ICTERI 2012، Kherson، اوکراین، 6-10 ژوئن 2012، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی فناوری اطلاعات و ارتباطات در آموزش، پژوهش و کاربردهای صنعتی است که در خرسون، اوکراین، در ژوئن 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.