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.
Computer Science and Information Technologies











