Burdonov Igor Borisovich. the Theory of a conformality for functional testing of program systems on the basis of formal models. 2008

The theory of a conformality for functional testing of program systems on the basis of formal models: the thesis... Doctors of physical and mathematical sciences: 05.13.11 / Burdonov Igor Borisovich; [a protection Place: In systems. Programming]. Moscow, 2008.596 p.: silt. RSL OD, 71 08-1/72

<< | >>

Other dissertations on discipline Mathematical and software of computers, complexes and computer networks:

  1. Rubanov Vladimir Vasilevich. Automation of construction of toolkit of cross development of the software for expanded built in systems - 2008
    Automation of construction of toolkit of cross development of the software for expanded built in systems: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Rubanov Vladimir Vasilevich; [a protection Place: In systems. Programming]. - Moscow, 2008. - 198 p.: silt. RSL OD, 61:08-1/441
  2. Daurenbekov Kuanish Koyshigulovich. the Adaptive tutor for oil and gas branch - 2008
    An adaptive tutor for oil and gas branch: the thesis... A Cand.Tech.Sci.: 05.13.11 / Daurenbekov Kuanysh Kojshygulovich; [a protection Place: Dews. gos. Un y oil and gas of I.M.Gubkin]. - Moscow, 2008. - 207 p.: silt. RSL OD, 61:08-5/1178
  3. Silich Vasiliy Viktorovich. Algorithmic and the software of regional system of contextual advertising in the environment the Internet - 2008
    Algorithmic and the software of regional system of contextual advertising in the environment the Internet: the thesis... A Cand.Tech.Sci.: 05.13.11 / Silich Vasily Viktorovich; [A protection place: Volume. politehn. Un y]. Tomsk, 2008.244 p.: silt. RSL OD, 61 09-5/354
  4. Malchukov Andrey Nikolaevich. Algorithmic and the software of system for development of codecs of noise-resistant codes - 2008
    Algorithmic and the software of system for development of codecs of noise-resistant codes: the thesis... A Cand.Tech.Sci.: 05.13.11 / Malchukov Andrey Nikolaevich; [a protection Place: Volume. politehn. Un y]. Tomsk, 2008.151 p.: silt. RSL OD, 61 09-5/472
  5. Potapov Pavel Vyаcheslavovich. Algorithms and software of search of vectors of similarity for compression of video data - 2008
    Algorithms and software of search of vectors of similarity for compression of video data: the thesis... A Cand.Tech.Sci.: 05.13.11 / Potapov Paul Vjacheslavovich; [a protection Place: Volume. politehn. Un y]. Tomsk, 2008.154 p.: silt. RSL OD, 61 09-5/463
  6. SHinkarenko Konstantin Vsevolodovich. Algorithms and software of noise-resistant coding of multimedia of streams in computer networks - 2008
    Algorithms and software of noise-resistant coding of multimedia of streams in computer networks: the thesis... A Cand.Tech.Sci.: 05.13.11 / Shinkarenko Konstantin Vsevolodovich; [a protection Place: Volume. politehn. Un y]. Tomsk, 2008.146 p.: silt. RSL OD, 61 09-5/630
  7. Kashirin Denis Igorevich. Algorithms of structurization and unification for models of knowledge in technology Semantic Web on the basis of synthesis OwL-ontology - 2008
    Algorithms of structurization and unification for models of knowledge in technology Semantic Web on the basis of synthesis OwL-ontology: the thesis... A Cand.Tech.Sci.: 05.13.11 / Kashirin Denis Igorevich; [a protection Place: Rjazan. gos. radiotehn. akad.] . - Ryazan, 2008.185 p.: silt. RSL OD, 61 08-5/1639
  8. Arapbaev Ruslanbek Nurmamatovich. the Analysis of dependences by data: Tests for dependence and the testing strategy - 2008
    The analysis of dependences by data: tests for dependence and the testing strategy: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Arapbaev Ruslanbek Nurmamatovich; [a protection Place: In systems infor.] . - Novosibirsk, 2008.116 p.: silt. RSL OD, 61 09-1/353
  9. Zuev Mihail Sergeevich. Block character matrix algorithms - 2008
    Block character matrix algorithms: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Zuev Michael Sergeevich; [a protection Place: Institute of system programming of the Russian Academy of Sciences]. - Moscow, 2008. - 114 p.: 2 silt.
  10. Kubasov Sergey Valerevich. Verification of automatic programs in a context of synchronous programming - 2008
    Verification of automatic programs in a context of synchronous programming: the thesis... A Cand.Tech.Sci.: 05.13.11 / Kubasov Sergey Valerevich; [a protection Place: In program. Systems of the Russian Academy of Sciences]. Yaroslavl, 2008.122 p.: silt. RSL OD, 61 09-5/192
  11. Konnov Igor Vladimirovich. Verification of the parametrised models of the distributed systems - 2008
    Verification of the parametrised models of the distributed systems: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Konnov Igor Vladimirovich; [a protection Place: Mosk. gos. Un y of M.V.Lomonosova]. Moscow, 2008.198 p.: silt. RSL OD, 61 08-1/608
  12. Plahov Andrey Grigorevich. Virtual football of robots: algorithms of players and the modelling environment - 2008
    Virtual football of robots: algorithms of players and the modelling environment: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Plahov Andrey Grigorevich; [a protection Place: In applied mathematics of M.V.Keldysh of the Russian Academy of Sciences]. - Moscow, 2008. - 157 p.: silt. RSL OD, 61:08-1/206
  13. YUmaguzhin Nikolay Valerevich. High level methods and algorithms of classification of integration interrelations of data structures - 2008
    High level methods and algorithms of classification of integration interrelations of data structures: the thesis... A Cand.Tech.Sci.: 05.13.11 / Jumaguzhin Nikolay Valerevich; [a protection Place: In program systems of the Russian Academy of Sciences]. Pereslavl-Zalessky, 2008.135 p.: silt. RSL OD, 61 09-5/687
  14. Bahtin Vladimir Aleksandrovich. Hybrid model of parallel programming DVM/OpenMP - 2008
    Hybrid model of parallel programming DVM/OpenMP: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Bakhtin Vladimir Aleksandrovich; [a protection Place: In applied mathematics of M.V.Keldysh of the Russian Academy of Sciences]. - Moscow, 2008. - 122 p.: silt. RSL OD, 61:08-1/155
  15. Bugeryа Aleksandr Borisovich. Dialogue debugging of parallel programs: The distributed circuit of co-operating components - 2008
    Dialogue debugging of parallel programs: the distributed circuit of co-operating components: the thesis... The candidate of physical and mathematical sciences: 05.13.11 / Bugerja Alexander Borisovich; [a protection Place: In applied mathematics of M.V.Keldysh of the Russian Academy of Sciences]. Moscow, 2008.79 p.: silt. RSL OD, 61 08-1/654
  16. Larchenko Aleksey Viktorovich. the Tool shell of designing and development of high-efficiency applications in the environment of Grid - 2008
    The tool shell of designing and development of high-efficiency applications in the environment of Grid: the thesis... A Cand.Tech.Sci.: 05.13.11 / Larchenko Alexey Viktorovich; [a protection Place: S.-Peterb. gos. Un y informatc. Technologies, mechanics and optics]. St.-Petersburg, 2008.114 p.: silt. RSL OD, 61 09-5/457
  17. Redkina Aleksandra Vasilevna. Tool support of methods of training of algorithmization - 2008
    Tool support of methods of training of algorithmization: the thesis... A Cand.Tech.Sci.: 05.13.11 / Redkina Alexander Vasilevna; [a protection Place: Sib. feder. Un y]. - Krasnoyarsk, 2008. - 141 p.: silt. RSL OD, 61:08-5/804
  18. Serebryаkov Sergey Valerevich. Tool support of the distributed training and decision-making in open networks of agents - 2008
    Tool support of the distributed training and decision-making in open networks of agents: the thesis... A Cand.Tech.Sci.: 05.13.11 / Serebryakov Sergey Valerevich; [a protection Place: S.-Peterb. In computer science and automation of the Russian Academy of Sciences]. - St.-Petersburg, 2008. - 165 p.: silt. RSL OD, 61:08-5/982
  19. Granin Mihail Nikolaevich. Tools of creation of units of user interface on the basis of the semantic description of computer icons - 2008
    Tools of creation of units of user interface on the basis of the semantic description of computer icons: the thesis... A Cand.Tech.Sci.: 05.13.11 / Granin Michael Nikolaevich; [a protection Place: In dynes. Systems. And teor. Justices.] . - Irkutsk, 2008.133 p.: silt. RSL OD, 61 09-5/784
  20. SHtentcel Artem Vladimirovich. creation Tools multiversionnoj architectures of fault-tolerant program systems - 2008
    Creation tools multiversionnoj architectures of fault-tolerant program systems: the thesis... A Cand.Tech.Sci.: 05.13.11 / Shtentcel Artem Vladimirovich; [a protection Place: Sib. aehrokosm. akad. It. akad. M.F.Reshetneva]. Krasnoyarsk, 2008.183 p.: silt. RSL OD, 61 09-5/796
- Acoustic devices and systems - Aerials, OHF devices and their technologies - Aerodynamics and processes of heat exchange of flying machines - Automation and management of technological processes and manufactures (on branches) - Aviation and space-rocket technics - Bases and the bases, underground constructions - Biotechnology of foodstuff (on branches) - Building - Building designs, buildings and constructions - Building materials and products - Building mechanics - Cars, motor industry - Chemical technology of fuel and high-energy substances - Chemistry technology - Computer science, computer facilities and management - Computers and systems - Control and test of flying machines and their systems - Designing and a design of courts - Designing and building of roads, undergrounds, airdromes, bridges and transport tunnels - Designing, a design and manufacture of flying machines - Devices and a quality monitoring of an environment, substances, materials and products - Devices and measurement methods by kinds of measurements - Devices and methods for measurement of an ionising radiation and x-ray devices - Devices and methods of transformation of images and a sound - Devices, systems and products of medical appointment - Document-knowledge, архив-knowledge - Documentary information - Durability and thermal modes of flying machines - Dynamics, ballistics, traffic control of flying machines - Electrical engineer - Electromecanics and electric devices - Electronics - Electrotechnical complexes and systems - Electrotechnical materials and products - Electrotechnologies and an electric equipment in agriculture - Electrotechnology - Elements and devices of computer facilities and control systems - Energy devices on the basis of renewed kinds of energy - Engineering geometry and computer drawing - Engineering geometry and computer drawing - Engineering technology - Fire and industrial safety (on branches) - Foundry manufacture - Friction and deterioration in machines - Goodsknowing foodstuff and technology of products of public catering - Goodsknowing the industrial goods and light industry raw materials - Heat supply, ventilation, an air conditioning, gas supply and illumination - Hromatogrophy and Hromatogrophyses devices - Hydraulic engineering building - Hydraulic machines and Hydropneumaticunits - Hydraulics and an engineering hydrology - Industrial fishery - Industrial power system - Information systems and processes, legal aspects of computer science - Information-measuring and operating systems (on branches) - Instrument making, metrology both information-measuring devices and systems - Knowing machines, systems of drives and a detail of machines - Labour safety (on branches) - Land complexes, the starting equipment, operation of flying machines - Library science and bibliology - Light engineering - Machines and devices, processes of refrigerating and cryogenic technics, central airs and life-support - Machines, units and processes (on branches) - Management in social and economic systems - Management of processes of transportations - Manufacture Organization (on branches) - Materials Science - Materials technology (on branches) - Materials technology of manufactures textile and light industry - Mathematical and software of computers, complexes and computer networks - Mathematical modelling, numerical methods and complexes of programs - Mechanical engineering and knowing machines - Membranes and membraneses technology - Metallurgical science and thermal processing of metals - Metallurgy - Metallurgy of black, colour and rare metals - Metallurgy of technogenic and secondary resources - Methods and systems of protection of the information, информационня safety - Metrology and metrological maintenance - Motor transport Operation - Mountain machines - Navigation and an air traffic control - Navigation Devices - Nuclear and radiating safety - Nuclear power installations, including designing, operation and a conclusion from operation - Nuclear reactor building, machines, units and technology of materials of the nuclear industry - Operation of air transport - Optical both optiko-electronic devices and complexes - Physical fields of the ship, ocean, atmosphere and their interaction - Powder metallurgy and composite materials - Power - Power electronics - Power plants and power systems - Power systems and complexes - Power, metallurgical and chemical mechanical engineering - Processes and devices of chemical technologies - Processes and devices of food manufactures - Processes and machines of agroengineering systems - Processing of constructional materials in mechanical engineering - Processing of metals by pressure - Quality monitoring and diagnostics in mechanical engineering - Quantum electronics - Radar-location and radio navigation - Radio engineering and communication - Radio engineering, including systems and TV devices - Radio measuring devices - Road, building and hoisting-and-transport machines - Robots, mechatroniks and roboticses systems - Rolling stock of railways, draught of trains and electrician - Safety in extreme situations (on branches) - Safety of activity of the person - Sailing charter Operation, navigation - Ship power installations and their elements (main and auxiliary) - Shipbuilding - Solid-state electronics, radio-electronic components, micro-and наноэлектроника on quantum effects - Standardization and product quality control - System analysis, management and information processing (on branches) - Systems of automation of designing (on branches) - Systems, networks and devices of telecommunications - Technical aesthetics and design - Technical science - Technics of high pressure - Technologies and machines of processing by pressure - Technologies and machines Weldining manufactures - Technologies and maintenance service means in agriculture - Technologies and means of mechanisation of agriculture - Technology and building organisation - Technology and equipment for manufacture of semiconductors, materials and devices of electronic technics - Technology and a preprocessing of textile materials and raw materials - Technology and machines of timber cuttings and a forestry - Technology and processing of polymers and composites - Technology and the equipment of chemical processing of a biomass of a tree; wood chemistry - Technology and the equipment of mechanical and physicotechnical processing - Technology of a skin and fur - Technology of electrochemical processes and protection against corrosion - Technology of fats, essence and perfumery-cosmetic products - Technology of food products - Technology of garments - Technology of inorganic substances - Technology of instrument making - Technology of materials and products textile and light industry - Technology of meat, dairy and fish products and refrigerating manufactures - Technology of mechanical engineering - Technology of organic substances - Technology of processing, storage and processing of cereal, bean cultures, groats products, fruits-vegetables production and wine growing - Technology of rare, absent-minded and radioactive elements - Technology of shipbuilding, ship repair and organisation of ship-building manufacture - Technology of shoe and kozhevenno-notions products - Technology of silicate and refractory nonmetallic materials - Technology of sugar and sugary products - Technology of tea, tobacco and biologically active substances and subtropical cultures - Technology, machines and the equipment of timber cuttings, a forestry, tree-processings and chemical processing of a biomass of a tree - Telecommunication systems and computer networks - Theoretical bases of computer science - Theoretical the electrical engineer - Theory of mechanisms and machines - Theory of the ship and building mechanics - Thermal engines - Thermal power plants, their power systems and units - Thermal, electrorocket engines and energydevice flying machines - Track, research and designing of railways - Transport - Transport and transportno-technological systems of the country, its regions and cities, manufacture organisation on transport - Transport, mountain and building mechanical engineering - Turbomachines and combined turbounits - Vacuum and plasma electronics - Vacuum, compressor technics and pneumatic systems - Water supply, water drain, building systems of protection of water resources - Waterways of the message and hydrography - Wheel and tracklaying vehicles - Wood-knowledge, technology and the equipment tree-processings -