| 書目名稱 | ICT in Education, Research, and Industrial Applications | | 副標(biāo)題 | 8th International Co | | 編輯 | Vadim Ermolayev,Heinrich C. Mayr,Grygoriy Zholtkev | | 視頻video | http://file.papertrans.cn/461/460205/460205.mp4 | | 概述 | High quality selected papers.Unique visibility.State of the art research | | 叢書名稱 | Communications in Computer and Information Science | | 圖書封面 |  | | 描述 | 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. | | 出版日期 | Conference proceedings 2013 | | 關(guān)鍵詞 | applied systems; distance learning; formal methods; java; software design | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-35737-4 | | isbn_softcover | 978-3-642-35736-7 | | isbn_ebook | 978-3-642-35737-4Series ISSN 1865-0929 Series E-ISSN 1865-0937 | | issn_series | 1865-0929 | | copyright | Springer-Verlag Berlin Heidelberg 2013 |
The information of publication is updating
書目名稱ICT in Education, Research, and Industrial Applications影響因子(影響力)
書目名稱ICT in Education, Research, and Industrial Applications影響因子(影響力)學(xué)科排名
書目名稱ICT in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度
書目名稱ICT in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱ICT in Education, Research, and Industrial Applications被引頻次
書目名稱ICT in Education, Research, and Industrial Applications被引頻次學(xué)科排名
書目名稱ICT in Education, Research, and Industrial Applications年度引用
書目名稱ICT in Education, Research, and Industrial Applications年度引用學(xué)科排名
書目名稱ICT in Education, Research, and Industrial Applications讀者反饋
書目名稱ICT in Education, Research, and Industrial Applications讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-25 19:18
發(fā)表于 2025-3-21 19:04:37
