Information and Communication Technologies 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 International Publishing

9783319039978, 9783319039985

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Existence of Total Input-Output Pairs of Abstract Time Systems

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

10.1007/978-3-319-03998-5_16 ◽

2013 ◽

pp. 308-331 ◽

Cited By ~ 5

Author(s):

Ievgen Ivanov

Keyword(s):

Input Output ◽

Total Input ◽

Time Systems

Download Full-text

Improving the Efficiency of Synchronized Product with Infinite Transition Systems

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

10.1007/978-3-319-03998-5_15 ◽

2013 ◽

pp. 285-307

Author(s):

Yuliia Romenska ◽

Frédéric Mallet

Keyword(s):

Transition Systems

Download Full-text

Specializations in Symbolic Verification

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

10.1007/978-3-319-03998-5_17 ◽

2013 ◽

pp. 332-354

Author(s):

Vladimir Peschanenko ◽

Anton Guba ◽

Constantin Shushpanov

Keyword(s):

Symbolic Verification

Download Full-text

From Collegial to Collaborative – A Model for Building Trust and Partnership in Information Technology

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

10.1007/978-3-319-03998-5_3 ◽

2013 ◽

pp. 41-49 ◽

Cited By ~ 1

Author(s):

Gary L. Pratt

Keyword(s):

Information Technology ◽

Building Trust

Download Full-text

Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics

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

10.1007/978-3-319-03998-5_8 ◽

2013 ◽

pp. 136-162 ◽

Cited By ~ 5

Author(s):

Olga Tatarintseva ◽

Vadim Ermolayev ◽

Brita Keller ◽

Wolf-Ekkehard Matzke

Download Full-text

Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy

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

10.1007/978-3-319-03998-5_1 ◽

2013 ◽

pp. 1-19 ◽

Cited By ~ 1

Author(s):

Wolf-Ekkehard Matzke

Keyword(s):

Synthetic Biology ◽

Knowledge Based

Download Full-text

Three-Subjective Didactic Model

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

10.1007/978-3-319-03998-5_13 ◽

2013 ◽

pp. 252-273

Author(s):

Aleksander Spivakovsky ◽

Lyubov Petukhova ◽

Evgeniya Spivakovska ◽

Vera Kotkova ◽

Hennadiy Kravtsov

Download Full-text

Bridging the Generation Gap in ICT Education

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

10.1007/978-3-319-03998-5_12 ◽

2013 ◽

pp. 229-251 ◽

Cited By ~ 1

Author(s):

Nataliya Kushnir ◽

Anna Manzhula ◽

Nataliya Valko

Keyword(s):

Generation Gap

Download Full-text

Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings

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

10.1007/978-3-319-03998-5_9 ◽

2013 ◽

pp. 163-189

Author(s):

Maxim Davidovsky ◽

Vadim Ermolayev ◽

Vyacheslav Tolok

Keyword(s):

Industrial Settings

Download Full-text

Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

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

10.1007/978-3-319-03998-5_7 ◽

2013 ◽

pp. 112-135 ◽

Cited By ~ 4

Author(s):

Vyacheslav Kharchenko ◽

Oleg Odarushchenko ◽

Valentina Odarushchenko ◽

Peter Popov

Keyword(s):

Markov Chains ◽

Computer Systems ◽

Availability Assessment

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On Existence of Total Input-Output Pairs of Abstract Time Systems

Improving the Efficiency of Synchronized Product with Infinite Transition Systems

Specializations in Symbolic Verification

From Collegial to Collaborative – A Model for Building Trust and Partnership in Information Technology

Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics

Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy

Three-Subjective Didactic Model

Bridging the Generation Gap in ICT Education

Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings

Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study

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