Plenary Session
Strategic Trends in Virtual Technologies | |
Oliver Moravcik, Pavol Bozek, Peter Sakal, Pavol Bezak, Miriam Iringova |
Analytic Demonstration of Effects of Network Externality on Telecom-Market Structure | |
J. Danhua, L. Bin |
Volume 1. Knowledge Engineering and Intelligent Systems
StressTest: An Intelligent System for Processor Verification | |
I. Wagner, V. Bertacco, T. Austin |
Volume 1. IT in Pedagogical Innovations
Information Technology Application in E-Learning | |
P. Bozek, P. Sakal, R. Rybansky |
Volume 1. Geoinformation Systems
Development of Navigation-and-Search System "Navigator" | |
A. Beloglazov, A. S. Fomichev |
Construction of the Generalized Model of Spatial Data for Activity of the Government Bodies and the Large Enterprises of Republic Bashkortostan | |
R. N. Bahtizin, S. V. Pavlov, G. M. Saifutdinova |
Volume 1. Information Security Systems
Testing of the Airborne Software with Formal Methods | |
A. V. Bataev, S. V. Sinitzyn |
Data Distribution Algorithms for Differential Cryptanalysis of DES | |
L. K. Babenko, E. A. Ischukova |
The Problem of Security Assessment of University Campus Area Network | |
T. K. Bakirov, S. S. Valeyev, D. N. Pogorelov |
Volume 1. Industrial Information Systems
Automation of Measurement and Validation of Operational Calculability of Selected Conveyor Parts | |
P. Božek |
Multiscale Selection and Detection of Signals in Remote Sensing Systems | |
A. H. Sultanov, V. H. Bagmanov, N. K. Bakirov, A. E. Kisselev, K. Janschek, S. V. Dyblenko |

This work is licensed under a Creative Commons Attribution 3.0 License.