|
|
51.
|
|
|
|
52.
|
|
|
|
53.
|
|
|
|
54.
|
|
|
|
55.
|
|
|
|
56.
|
|
|
|
57.
|
|
|
|
58.
|
|
|
|
59.
|
|
|
|
60.
|
|
|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
Верификация модели осаждения частиц, основанной на методе дискретных элементов Е. Н. Дьяченко by Дьяченко, Евгений Николаевич. Source: Современные проблемы математики и механики : II Всероссийская молодежная научная конференция, посвященная 90-летию со дня рождения академика Н. Н. Яненко, 12-14 октября 2011 г. (в рамках Всероссийского фестиваля науки)Material type:  Article; Format:
print
festschrift
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
|
71.
|
|
|
|
72.
|
Разработка систем космических аппаратов пер. с англ. [Гульельмо Альетти, Массимо Бандекки, Франк Шатель и др.] ; под ред. П. Фортескью, Г. Суайнерда, Д. Старка by Альетти, Гульельмо | Бандекки, Массимо | Шатель, Франк | Фортескью, Питер [edt] | Суайнерд, Грэм [edt] | Старк, Джон Пауль [edt]. Material type:  Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Москва Альпина Паблишер 2018Other title: Spacecraft systems engineering.Availability: No items available :
|
|
|
73.
|
Дружеское знакомство с тестированием программ Билл Лабун by Лабун, Билл. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Санкт-Петербург БХВ-Петербург 2022Other title: A friendly introduction to software testing.Availability: No items available :
|
|
|
74.
|
|
|
|
75.
|
Валидация и верификация: понятия, сходства и различия Ю. А. Старцева by Старцева, Юлиана Андреевна. Source: Инноватика - 2020 : сборник материалов XVI Международной школы-конференции студентов, аспирантов и молодых ученых, 23-25 апреля 2020 г., г. Томск, РоссияMaterial type: Article; Format:
electronic
available online
 ; Literary form:
Not fiction
; Audience:
Specialized;
Other title: Validation and verification: concepts, similarities and differences.Online access: Click here to access online Availability: No items available :
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
|
|
|
81.
|
Проблемы верификации конституционных норм В. В. Оглезнев, В. А. Суровцев by Оглезнев, Виталий Васильевич, 1982- | Суровцев, Валерий Александрович | Томский государственный университет Юридический институт Кафедра теории и истории государства и права, административного права | Томский государственный университет Философский факультет Кафедра истории философии и логики. Source: Журнал российского праваMaterial type: Article; Format:
electronic
available online
Online access: Click here to access online Availability: No items available :
|
|
|
82.
|
|
|
|
83.
|
|
|
|
84.
|
|
|
|
85.
|
|
|
|
86.
|
|
|
|
87.
|
|
|
|
88.
|
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
|
|
|
92.
|
|
|
|
93.
|
|
|
|
94.
|
|
|
|
95.
|
|
|
|
96.
|
|
|
|
97.
|
|
|
|
98.
|
|
|
|
99.
|
|
|
|
100.
|
|
