找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: ICT in Education, Research, and Industrial Applications; 8th International Co Vadim Ermolayev,Heinrich C. Mayr,Grygoriy Zholtkev Conference

[復(fù)制鏈接]
查看: 30842|回復(fù): 35
樓主
發(fā)表于 2025-3-21 19:04:37 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱ICT in Education, Research, and Industrial Applications
副標(biāo)題8th International Co
編輯Vadim Ermolayev,Heinrich C. Mayr,Grygoriy Zholtkev
視頻videohttp://file.papertrans.cn/461/460205/460205.mp4
概述High quality selected papers.Unique visibility.State of the art research
叢書名稱Communications in Computer and Information Science
圖書封面Titlebook: ICT in Education, Research, and Industrial Applications; 8th International Co Vadim Ermolayev,Heinrich C. Mayr,Grygoriy Zholtkev Conference
描述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
doihttps://doi.org/10.1007/978-3-642-35737-4
isbn_softcover978-3-642-35736-7
isbn_ebook978-3-642-35737-4Series ISSN 1865-0929 Series E-ISSN 1865-0937
issn_series 1865-0929
copyrightSpringer-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é)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:18:41 | 只看該作者
板凳
發(fā)表于 2025-3-22 02:15:44 | 只看該作者
地板
發(fā)表于 2025-3-22 06:10:39 | 只看該作者
Conference proceedings 2013erties 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.
5#
發(fā)表于 2025-3-22 11:19:23 | 只看該作者
ICT in Education, Research, and Industrial Applications8th International Co
6#
發(fā)表于 2025-3-22 13:47:12 | 只看該作者
https://doi.org/10.1007/978-3-642-35737-4applied systems; distance learning; formal methods; java; software design
7#
發(fā)表于 2025-3-22 19:44:54 | 只看該作者
978-3-642-35736-7Springer-Verlag Berlin Heidelberg 2013
8#
發(fā)表于 2025-3-23 00:02:18 | 只看該作者
ICT in Education, Research, and Industrial Applications978-3-642-35737-4Series ISSN 1865-0929 Series E-ISSN 1865-0937
9#
發(fā)表于 2025-3-23 03:18:32 | 只看該作者
Vadim Ermolayev,Heinrich C. Mayr,Grygoriy ZholtkevHigh quality selected papers.Unique visibility.State of the art research
10#
發(fā)表于 2025-3-23 06:07:17 | 只看該作者
Communications in Computer and Information Sciencehttp://image.papertrans.cn/i/image/460205.jpg
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-25 19:18
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
获嘉县| 蓬莱市| 承德市| 富民县| 二手房| 古田县| 花莲市| 通榆县| 孟村| 三门峡市| 疏附县| 钟山县| 扬州市| 娱乐| 河西区| 荔浦县| 南平市| 永登县| 靖安县| 德令哈市| 泌阳县| 日喀则市| 老河口市| 正阳县| 青阳县| 开江县| 福清市| 新巴尔虎右旗| 鄄城县| 云梦县| 九台市| 邹平县| 郓城县| 荣成市| 台江县| 康保县| 徐汇区| 新化县| 古浪县| 康平县| 南汇区|