«Введение в формальные методы верификации программ», А. С. Камкин o'xshash kitoblar

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
319 554,34 s`om
Параллельное программирование для мультиядерных и кластерных систем
Томас Раубер va b.
Перевод А. В. Снастин
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
470 531,24 s`om
Коммуникационные сети: краткое введениеЖан Вальран va b.
Перевод К. В. Петровичева
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
204 101,40 s`om
Методы верификации программА. М. Миронов
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
186 339,42 s`om
Доказательство корректности программК. Рустан М. Лейно va b.Перевод Александр Киселев
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
426 126,27 s`om
ИнтерпретацияРон Полборн
rus tilida
Matn
Средний рейтинг 5 на основе 2 оценок
48 280,32 s`om
Успех не по правилам. СССР с позиции либерализмаГрегори ПолПеревод И. Кузнецов и др.
rus tilida
Matn
Средний рейтинг 4 на основе 4 оценок
88 648,47 s`om
Машины низкотемпературной техники. Криогенные машины и инструментыВладимир Иванович Петров va b.
rus tilida
Matn PDF
Средний рейтинг 3,6 на основе 5 оценок
117 051,51 s`om
Экономика на пальцах: научно и увлекательноАлександр Никонов
rus tilida
Matn
Средний рейтинг 4,2 на основе 46 оценок
77 345,39 s`om
Толковый словарь русских научно-технических терминов
Mualliflar jamoasi
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
193 767,16 s`om
Теоретический минимум по Computer Science. Сети, криптография и data science (pdf + epub)Владстон Феррейра Фило va b.Перевод Р. Чикин
rus tilida
Matn PDF
Средний рейтинг 4,8 на основе 22 оценок
117 051,51 s`om
Введение в технологию химического осаждения из газовой фазы тонких пленок для электроники: оборудование, методология, особенности роста. Учебное пособие для вузовВ. Ю. Васильев
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
274 987,89 s`om
Эпохи глобализации: география, технологии и институтыДжеффри СаксПеревод Николай Проценко
rus tilida
Matn
Средний рейтинг 4,1 на основе 9 оценок
70 886,48 s`om
Думай как математик: Как решать любые задачи быстрее и эффективнееБарбара ОаклиПеревод Ирина Майгурова
rus tilida
Matn
Средний рейтинг 4,2 на основе 550 оценок
80 574,84 s`om
Архитектура промышленных зданийА. П. Михеев va b.
rus tilida
Matn PDF
Средний рейтинг 4,8 на основе 4 оценок
92 200,87 s`om
Современные технологии строительства и реконструкции зданийГеннадий Бадьин va b.
rus tilida
Matn
Средний рейтинг 4,6 на основе 5 оценок
47 634,43 s`om
Думай «почему?». Причина и следствие как ключ к мышлениюДжудиа Перл va b.Перевод Таира Мамедова и др.
rus tilida
Matn
Средний рейтинг 4,3 на основе 13 оценок
96 722,11 s`om
Деглобализация: кризис неолиберализма и движение к новому миропорядкуОлег Олегович Комолов va b.
rus tilida
Matn PDF
Средний рейтинг 4 на основе 1 оценок
117 713,55 s`om
Финансы как творчество. Хроника финансовых реформ в КазахстанеГригорий Марченко
rus tilida
Matn
Средний рейтинг 5 на основе 1 оценок
40 366,54 s`om
Zabbix. Практическое руководствоАндреа Далле ВаккеПеревод Александр Киселев
rus tilida
Matn PDF
Средний рейтинг 3,5 на основе 26 оценок
225 900,21 s`om
Собственность в гражданском праве 5-е изд., пер. и доп. Учебное пособие для вузовКонстантин Ильич Скловский
rus tilida
Matn PDF
Средний рейтинг 5 на основе 7 оценок
632 811,24 s`om
Международные расчёты. Тесты с ответамиСергей КалединЧитает Литрес Авточтец
rus tilida
Audio
Средний рейтинг 5 на основе 1 оценок
56 353,95 s`om
Огневая подготовка
Константин Юрьевич Поспеев va b.
rus tilida
Matn PDF
Средний рейтинг 0 на основе 0 оценок
158 081,71 s`om
Программа подготовки шахматистов I разрядаВиктор Голенищев
rus tilida
Matn PDF
Средний рейтинг 4,8 на основе 10 оценок
117 051,51 s`om