Chapter 1 Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution

Chapter 2 Two Approaches to Modelling Logical Time in Cyber-Physical Systems

Chapter 3 Extended Floyd-Hoare Logic over Relational Nominative Data

Chapter 4 Rankings of Students Based on Experts’ Assessment and Levels of the Likelihood of Learning Outcome Acquirement

Chapter 5 Training of E-learning Managers at Universities

Chapter 6 Developing a Self-regulation Environment in an Open Learning Model with Higher Fidelity Assessment

Chapter 7 Cross-Evaluation of Automated Term Extraction Tools by Measuring Terminological Saturation

Chapter 8 Complex Industrial Systems Automation Based on the Internet of Things Implementation

Chapter 9 Software Packages for Econometrics: Financial Time Series Modeling

Chapter 11 Simulation Agent-Based Model of Heterogeneous Firms Through Software Module