ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357367, 9783642357374

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_9 ◽

2013 ◽

pp. 149-164

Author(s):

Alexander Letichevsky ◽

Olexander Letychevskyi ◽

Vladimir Peschanenko

Keyword(s):

Efficient Algorithm

Download Full-text

Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_2 ◽

2013 ◽

pp. 19-38

Author(s):

Mizal Alobaidi ◽

Andriy Batyiv ◽

Grygoriy Zholtkevych

Keyword(s):

Information Processing ◽

Quantum Information ◽

Quantum Information Processing ◽

Formal Models ◽

Quantum Automata

Download Full-text

Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_11 ◽

2013 ◽

pp. 177-194

Author(s):

Vadim Ermolayev ◽

Natalya Keberle ◽

Sergey Borue

Keyword(s):

Peer Reviews ◽

Quality Of Learning

Download Full-text

A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_7 ◽

2013 ◽

pp. 111-130 ◽

Cited By ~ 5

Author(s):

Ievgen Ivanov

Keyword(s):

Markovian Systems

Download Full-text

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_6 ◽

2013 ◽

pp. 89-110 ◽

Cited By ~ 2

Author(s):

Mykola S. Nikitchenko ◽

Valentyn G. Tymofieiev

Download Full-text

A Multi-channel Communication Framework

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_5 ◽

2013 ◽

pp. 72-88 ◽

Cited By ~ 2

Author(s):

Michal Nagy

Keyword(s):

Communication Framework

Download Full-text

General Disciplines and Tools for E-Learning Software Engineering

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_13 ◽

2013 ◽

pp. 212-229 ◽

Cited By ~ 1

Author(s):

Ekaterina Lavrischeva ◽

Alexei Ostrovski

Keyword(s):

Software Engineering ◽

E Learning ◽

Learning Software

Download Full-text

Formation of Digital Competence of Future Teachers of Elementary School

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_14 ◽

2013 ◽

pp. 230-243 ◽

Cited By ~ 4

Author(s):

Nataliya Kushnir ◽

Anna Manzhula

Keyword(s):

Elementary School ◽

Future Teachers ◽

Digital Competence

Download Full-text

University as a Corporation Which Serves Educational Interests

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_4 ◽

2013 ◽

pp. 60-71 ◽

Cited By ~ 1

Author(s):

Alexander Spivakovsky ◽

Lyudmila Alferova ◽

Eugene Alferov

Download Full-text

Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-642-35737-4_12 ◽

2013 ◽

pp. 195-211

Author(s):

Lyudmila Gavrilova

Keyword(s):

Music Teachers ◽

Professional Competence ◽

Multimedia Production ◽

The Future

Download Full-text

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation

Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems

Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning

A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics

A Multi-channel Communication Framework

General Disciplines and Tools for E-Learning Software Engineering

Formation of Digital Competence of Future Teachers of Elementary School

University as a Corporation Which Serves Educational Interests

Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers

ICT in Education, Research, and Industrial Applications - Communications in Computer and Information Science
Latest Publications