ICT in Education Research and Industrial Applications

ICT in Education  Research  and Industrial Applications
Author : Vadim Ermolayev
Publisher : Springer
Total Pages : 245
Release : 2013-01-11
ISBN 10 : 9783642357374
ISBN 13 : 3642357377
Language : EN, FR, DE, ES & NL

ICT in Education Research and Industrial Applications Book Description:

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.


RELATED BOOKS:
ICT in Education, Research, and Industrial Applications
Language: en
Pages: 245
Authors: Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
Categories: Computers
Type: BOOK - Published: 2013-01-11 - Publisher: Springer

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
Information and Communication Technologies in Education, Research, and Industrial Applications
Language: en
Pages: 441
Authors: Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
Categories: Education
Type: BOOK - Published: 2020-01-18 - Publisher: Springer Nature

This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2019. The 19 revised full papers included in this volume were carefully reviewed and selected from
Information and Communication Technologies in Education, Research, and Industrial Applications
Language: en
Pages: 323
Authors: Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky
Categories: Education
Type: BOOK - Published: 2019-02-13 - Publisher: Springer

This book contains extended versions of the best papers presented at the 14th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2018, held in Kyiv, Ukraine, in May 2018. The 14 revised full papers included in this volume along with one invited full paper
Information and Communication Technologies in Education, Research, and Industrial Applications
Language: en
Pages: 255
Authors: Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
Categories: Education
Type: BOOK - Published: 2018-03-24 - Publisher: Springer

This book contains extended versions of the best papers presented at the 13th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2017, held in Kyiv, Ukraine, in May 2017. The 11 revised full papers included in this volume were carefully reviewed and selected from
Information and Communication Technologies in Education, Research, and Industrial Applications
Language: en
Pages: 201
Authors: Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy
Categories: Education
Type: BOOK - Published: 2017-11-03 - Publisher: Springer

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2016, held in Kyiv, Ukraine, in June 2016. The 10 revised full papers presented together with one invited keynote paper were carefully reviewed and selected from