Verification of dynamic memory allocators based on symbolic program execution von Dergachev, A.M., Sadyrin, D.S., Ilina, A.G., Loginov, I.P., Korenkov, Iu.D.

Volltext

Rivaroxaban in the Treatment and Long-Term Prevention of Recurrent VTEC in Patients with Pulmonary Embolism von Koroleva, L.Yu, Nosov, V.P., Zlobina, D.S., Sadyrin, R.V.

Volltext

VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION von Dergachev, A M, Sadyrin, D S, Ilina, A G, Loginov, I P, Korenkov, Y D

Volltext

Extension of the Voronoi Diagram Algorithm to Orthotropic Space for Material Structural Design von Bolshakov, Pavel, Kharin, Nikita, Agathonov, Alexander, Kalinin, Evgeniy, Sachenkov, Oskar

Volltext

Microstructure, Mechanical and Tribological Properties of Arc Ion Plating NbN-Based Nanocomposite Films von Fu, Yingying, Li, Hongxuan, Chen, Jianmin, Guo, Hongjian, Wang, Xiang

Volltext

Wear of Carbide Plates with Diamond-like and Micro-Nano Polycrystalline Diamond Coatings during Interrupted Cutting of Composite Alloy Al/SiC von Ashkinazi, Evgeny E., Fedorov, Sergey V., Martyanov, Artem K., Sedov, Vadim S., Khmelnitsky, Roman A., Ralchenko, Victor G., Ryzhkov, Stanislav G., Khomich, Andrey A., Mosyanov, Mikhail A., Grigoriev, Sergey N., Konov, Vitaly I.

Volltext

Corrosion Improvement of 304L Stainless Steel by ZrSiN and ZrSi(N,O) Mono- and Double-Layers Prepared by Reactive Cathodic Arc Evaporation von Dinu, Mihaela, Parau, Anca Constantina, Vladescu, Alina, Kiss, Adrian Emil, Pana, Iulian, Mouele, Emile S. Massima, Petrik, Leslie Felicia, Braic, Viorel

Volltext

Specialized Periodicals in the Science and Technology Transfer System of Germany and the USSR in 1920–1930s von Ganin, Maxim A.

Volltext