Abstract is missing.
- Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-EconomyWolf-Ekkehard Matzke. 1-19 [doi]
- Theory of Interaction, Insertion Modeling, and Cognitive ArchitecturesAlexander A. Letichevsky. 20-40 [doi]
- From Collegial to Collaborative - A Model for Building Trust and Partnership in Information TechnologyGary L. Pratt. 41-49 [doi]
- An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities DomainNikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova. 50-69 [doi]
- Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting ToolsAnatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko. 70-92 [doi]
- Asymptotical Information Bound of Consecutive Qubit Binary TestingAnastasiia Varava, Grygoriy Zholtkevych. 93-111 [doi]
- Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case StudyVyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov. 112-135 [doi]
- Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based MetricsOlga Tatarintseva, Vadim Ermolayev, Brita Keller, Wolf-Ekkehard Matzke. 136-162 [doi]
- Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial SettingsMaxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok. 163-189 [doi]
- Two Semantic Models for Clock Relations in the Clock Constraint Specification LanguageGrygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych. 190-209 [doi]
- How Do Computer Science Students Use Distributed Version Control Systems?Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen. 210-228 [doi]
- Bridging the Generation Gap in ICT EducationNataliya Kushnir, Anna Manzhula, Nataliya Valko. 229-251 [doi]
- Three-Subjective Didactic ModelAleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov. 252-273 [doi]
- Emerging Technologies for Training of ICT-Skilled Educational PersonnelMariya Shyshkina. 274-284 [doi]
- Improving the Efficiency of Synchronized Product with Infinite Transition SystemsYuliia Romenska, Frédéric Mallet. 285-307 [doi]
- On Existence of Total Input-Output Pairs of Abstract Time SystemsIevgen Ivanov. 308-331 [doi]
- Specializations in Symbolic VerificationVladimir S. Peschanenko, Anton Guba, Constantin Shushpanov. 332-354 [doi]
- Extending Floyd-Hoare Logic for Partial Pre- and PostconditionsAndrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. 355-378 [doi]