Bücher ähnlich wie "Введение в формальные методы верификации программ", А. С. Камкин

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€23,21
Параллельное программирование для мультиядерных и кластерных систем
Томас Раубер u.a.
Перевод А. В. Снастин
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€34,17
Коммуникационные сети: краткое введениеЖан Вальран u.a.
Перевод К. В. Петровичева
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€14,82
Методы верификации программА. М. Миронов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€13,53
Доказательство корректности программК. Рустан М. Лейно u.a.Перевод Александр Киселев
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€30,95
Что за XY..Z?Ирина Тебенева
auf Russisch
Text
Средний рейтинг 2,5 на основе 2 оценок
€2,35
ИнтерпретацияРон Полборн
auf Russisch
Text
Средний рейтинг 5 на основе 2 оценок
€3,51
Успех не по правилам. СССР с позиции либерализмаГрегори ПолПеревод И. Кузнецов и др.
auf Russisch
Text
Средний рейтинг 4 на основе 4 оценок
€6,44
ПыльАлан Ноус
auf Russisch
Text
Средний рейтинг 4,8 на основе 4 оценок
€1,35
Наблюдательность Шерлока Холмса. Как развить наблюдательность?Владислав Луговский
auf Russisch
Text
Средний рейтинг 4,8 на основе 31 оценок
€3,63
Машины низкотемпературной техники. Криогенные машины и инструментыВладимир Иванович Петров u.a.
auf Russisch
Text PDF
Средний рейтинг 3,6 на основе 5 оценок
€8,50
Экономика на пальцах: научно и увлекательноАлександр Никонов
auf Russisch
Text
Средний рейтинг 4,2 на основе 46 оценок
€5,62
Толковый словарь русских научно-технических терминов
Коллектив авторов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€14,07
Теоретический минимум по Computer Science. Сети, криптография и data science (pdf + epub)Владстон Феррейра Фило u.a.Перевод Р. Чикин
auf Russisch
Text PDF
Средний рейтинг 4,8 на основе 22 оценок
€8,50
Введение в технологию химического осаждения из газовой фазы тонких пленок для электроники: оборудование, методология, особенности роста. Учебное пособие для вузовВ. Ю. Васильев
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€19,97
Эпохи глобализации: география, технологии и институтыДжеффри СаксПеревод Николай Проценко
auf Russisch
Text
Средний рейтинг 4,1 на основе 9 оценок
€5,15
Думай как математик: Как решать любые задачи быстрее и эффективнееБарбара ОаклиПеревод Ирина Майгурова
auf Russisch
Text
Средний рейтинг 4,2 на основе 550 оценок
€5,85
Архитектура промышленных зданийА. П. Михеев u.a.
auf Russisch
Text PDF
Средний рейтинг 4,8 на основе 4 оценок
€6,70
Современные технологии строительства и реконструкции зданийГеннадий Бадьин u.a.
auf Russisch
Text
Средний рейтинг 4,6 на основе 5 оценок
€3,46
Думай «почему?». Причина и следствие как ключ к мышлениюДжудиа Перл u.a.Перевод Таира Мамедова и др.
auf Russisch
Text
Средний рейтинг 4,3 на основе 13 оценок
€7,02
Деглобализация: кризис неолиберализма и движение к новому миропорядкуОлег Олегович Комолов u.a.
auf Russisch
Text PDF
Средний рейтинг 4 на основе 1 оценок
€8,55
Финансы как творчество. Хроника финансовых реформ в КазахстанеГригорий Марченко
auf Russisch
Text
Средний рейтинг 5 на основе 1 оценок
€2,93
18+
Максимализмы (сборник)Михаил Армалинский
auf Russisch
Text
Средний рейтинг 4,6 на основе 5 оценок
€1,52
Как нефть правит миром. От Первой мировой войны до сланцевой революцииЧхве Чжи УнПеревод А. И. Гребенкина
auf Russisch
Text
Средний рейтинг 4,9 на основе 9 оценок
€8,48