Książki podobne do «Введение в формальные методы верификации программ», А. С. Камкин

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
98,03 zł
Параллельное программирование для мультиядерных и кластерных систем
Томас Раубер i in
Перевод А. В. Снастин
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
144,34 zł
Коммуникационные сети: краткое введениеЖан Вальран i in
Перевод К. В. Петровичева
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
62,61 zł
Методы верификации программА. М. Миронов
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
57,16 zł
Доказательство корректности программК. Рустан М. Лейно i inПеревод Александр Киселев
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
130,72 zł
Что за XY..Z?Ирина Тебенева
w rosyjskim
Tekst
Средний рейтинг 2,5 на основе 2 оценок
9,91 zł
ИнтерпретацияРон Полборн
w rosyjskim
Tekst
Средний рейтинг 5 на основе 2 оценок
14,81 zł
Успех не по правилам. СССР с позиции либерализмаГрегори ПолПеревод И. Кузнецов и др.
w rosyjskim
Tekst
Средний рейтинг 4 на основе 4 оценок
27,19 zł
ПыльАлан Ноус
w rosyjskim
Tekst
Средний рейтинг 4,8 на основе 4 оценок
5,69 zł
Наблюдательность Шерлока Холмса. Как развить наблюдательность?Владислав Луговский
w rosyjskim
Tekst
Средний рейтинг 4,8 на основе 31 оценок
15,35 zł
Машины низкотемпературной техники. Криогенные машины и инструментыВладимир Иванович Петров i in
w rosyjskim
Tekst PDF
Средний рейтинг 3,6 на основе 5 оценок
35,91 zł
Экономика на пальцах: научно и увлекательноАлександр Никонов
w rosyjskim
Tekst
Средний рейтинг 4,2 на основе 46 оценок
23,73 zł
Толковый словарь русских научно-технических терминов
Zespół autorów
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
59,44 zł
Теоретический минимум по Computer Science. Сети, криптография и data science (pdf + epub)Владстон Феррейра Фило i inПеревод Р. Чикин
w rosyjskim
Tekst PDF
Средний рейтинг 4,8 на основе 22 оценок
35,91 zł
Введение в технологию химического осаждения из газовой фазы тонких пленок для электроники: оборудование, методология, особенности роста. Учебное пособие для вузовВ. Ю. Васильев
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
84,36 zł
Эпохи глобализации: география, технологии и институтыДжеффри СаксПеревод Николай Проценко
w rosyjskim
Tekst
Средний рейтинг 4,1 на основе 9 оценок
21,75 zł
Думай как математик: Как решать любые задачи быстрее и эффективнееБарбара ОаклиПеревод Ирина Майгурова
w rosyjskim
Tekst
Средний рейтинг 4,2 на основе 550 оценок
24,72 zł
Архитектура промышленных зданийА. П. Михеев i in
w rosyjskim
Tekst PDF
Средний рейтинг 4,8 на основе 4 оценок
28,28 zł
Современные технологии строительства и реконструкции зданийГеннадий Бадьин i in
w rosyjskim
Tekst
Средний рейтинг 4,6 на основе 5 оценок
14,61 zł
Думай «почему?». Причина и следствие как ключ к мышлениюДжудиа Перл i inПеревод Таира Мамедова и др.
w rosyjskim
Tekst
Средний рейтинг 4,3 на основе 13 оценок
29,67 zł
Деглобализация: кризис неолиберализма и движение к новому миропорядкуОлег Олегович Комолов i in
w rosyjskim
Tekst PDF
Средний рейтинг 4 на основе 1 оценок
36,11 zł
Финансы как творчество. Хроника финансовых реформ в КазахстанеГригорий Марченко
w rosyjskim
Tekst
Средний рейтинг 5 на основе 1 оценок
12,38 zł
18+
Максимализмы (сборник)Михаил Армалинский
w rosyjskim
Tekst
Средний рейтинг 4,6 на основе 5 оценок
6,44 zł
Как нефть правит миром. От Первой мировой войны до сланцевой революцииЧхве Чжи УнПеревод А. И. Гребенкина
w rosyjskim
Tekst
Средний рейтинг 4,9 на основе 9 оценок
35,81 zł