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

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
101,49 zł
Kubernetes изнутриДжей Вьяс i inПеревод Александр Киселев
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
93,03 zł
Методы верификации программА. М. Миронов
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
59,18 zł
Доказательство корректности программК. Рустан М. Лейно i inПеревод Александр Киселев
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
135,34 zł
Темная энергия разумаДжеймс Девис
w rosyjskim
Tekst
Средний рейтинг 5 на основе 40 оценок
17,90 zł
Теория и механизмы государственного управленияОлег Михайлович Рой
w rosyjskim
Tekst PDF
Средний рейтинг 5 на основе 1 оценок
53,33 zł
Боевое применение подразделений РТВ ВВС. Подвижный радиовысотомер ПРВ-13Д. Д. Дмитриев i in
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
7,94 zł
Толкование закона и права. Том I
Коллектив авторов
w rosyjskim
Tekst
Средний рейтинг 5 на основе 4 оценок
13,33 zł
Игра в имитацию. О шифрах, кодах и искусственном интеллектеАлан Тьюринг i inПеревод Ю Данилов
w rosyjskim
Tekst
Средний рейтинг 4,4 на основе 16 оценок
14,31 zł
Международные расчёты. Тесты с ответамиСергей КалединЧитает Литрес Авточтец
w rosyjskim
Audio
Средний рейтинг 5 на основе 1 оценок
17,90 zł
Перезагрузка жизниDmitriy Inspirer
w rosyjskim
Tekst
Средний рейтинг 4 на основе 2 оценок
10,05 zł
Международное частное право. Преемственность и развитие. Сборник статей по материалам Международной научно-практической конференции, посвященной 130-летнему юбилею профессора Л.А. Лунца
Zespół autorów
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
37,18 zł
Zabbix. Практическое руководствоАндреа Далле ВаккеПеревод Александр Киселев
w rosyjskim
Tekst PDF
Средний рейтинг 3,5 на основе 26 оценок
71,75 zł
Концепции современного естествознания. Учебное пособие
Коллектив авторов
Читает Литрес Авточтец
w rosyjskim
Audio
Средний рейтинг 0 на основе 0 оценок
4,85 zł
18+
Максимализмы (сборник)Михаил Армалинский
w rosyjskim
Tekst
Средний рейтинг 4,6 на основе 5 оценок
6,67 zł
Архитектура промышленных зданийА. П. Михеев i in
w rosyjskim
Tekst PDF
Средний рейтинг 4,8 на основе 4 оценок
29,28 zł
Lingua Latina. Введение в латинский язык и античную культуру. Часть IIА. В. Подосинов i in
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
26,67 zł
Информатика. Базовый курс. Учебник для вузов
w rosyjskim
Tekst PDF
Средний рейтинг 3,7 на основе 6 оценок
53,33 zł
Латинский язык. Учебник для лицеев и гимназийН. Л. Кацман i in
w rosyjskim
Tekst PDF
Средний рейтинг 4,3 на основе 8 оценок
20,46 zł
Экономическая теорияГригорий Вечканов i in
w rosyjskim
Tekst
Средний рейтинг 4 на основе 4 оценок
3,54 zł
ML для новичков: Глоссарий, без которого ты не разберёшьсяАртем Демиденко
w rosyjskim
Tekst
Средний рейтинг 3 на основе 2 оценок
12,77 zł
Четыре способа мыслить. Статистический, интерактивный, хаотический и сложныйДэвид СамптерПеревод Наталья Шахова
w rosyjskim
Tekst PDF
Средний рейтинг 4,9 на основе 10 оценок
35,85 zł
Правила социологического методаЭмиль ДюркгеймПеревод В. Желнинов
w rosyjskim
Tekst
Средний рейтинг 5 на основе 2 оценок
11,23 zł
Арбитражный процессЮрий Александрович Свирин
w rosyjskim
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
71,80 zł