Volume 1. Knowledge Engineering and Intelligent Systems
| StressTest: An Intelligent System for Processor Verification | |
| I. Wagner, V. Bertacco, T. Austin |
Volume 1. Metalogic and Applicative Computations
| Developing and Implementing the Applicative Computational Model of the Semantic Constructions | |
| E. E. Andronova |
Volume 1. Conceptual Modelling and Decision Support Systems
| Recognition of Line Types using Artificial Neural Network | |
| E. V. Chepin, N. Aye |
Volume 1. IT in Social and Economic Modelling
| Information Management System of Health Resort | |
| F. Kh. Mazitov, B. G. Ilyasov, F. V. Askarova, Sh. Z. Zagidullin |
| Viral Knowledge Acquisition through Social Networks | |
| D. Soshnikov, M. Chernomordikov, P. Zadumkin, I. Andreev |
Volume 1. IT in Pedagogical Innovations
| Criteria-Oriented Testing Results Estimating Model | |
| R. Z. Ahmetsafina, Yu. S. Kabalnov, A. L. Kalinina, A. S. Kovtunenko |
Volume 1. Geoinformation Systems
| Geoinformation System of Water Resource of Republic of Bashkortostan | |
| V. S. Goryachev, S. A. Abramov |
Volume 1. Computer Mathematics
| Numerical Simulation of Incompressible Viscous Flow by MPS Method | |
| K. E. Afanasiev, A. E. Ilyasov |
This work is licensed under a Creative Commons Attribution 3.0 License.
Computer Science and Information Technologies











