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

Программирование аналоговых и гибридных компьютеровБернд УльманПеревод Андрей Логунов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€23,13
Параллельное программирование для мультиядерных и кластерных систем
Томас Раубер u.a.
Перевод А. В. Снастин
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€34,06
Коммуникационные сети: краткое введениеЖан Вальран u.a.
Перевод К. В. Петровичева
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€14,77
Методы верификации программА. М. Миронов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€13,49
Доказательство корректности программК. Рустан М. Лейно u.a.Перевод Александр Киселев
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€30,84
Что за XY..Z?Ирина Тебенева
auf Russisch
Text
Средний рейтинг 2,5 на основе 2 оценок
€2,34
ИнтерпретацияРон Полборн
auf Russisch
Text
Средний рейтинг 5 на основе 2 оценок
€3,49
Успех не по правилам. СССР с позиции либерализмаГрегори ПолПеревод И. Кузнецов и др.
auf Russisch
Text
Средний рейтинг 4 на основе 4 оценок
€6,42
ПыльАлан Ноус
auf Russisch
Text
Средний рейтинг 4,8 на основе 4 оценок
€1,34
Наблюдательность Шерлока Холмса. Как развить наблюдательность?Владислав Луговский
auf Russisch
Text
Средний рейтинг 4,8 на основе 31 оценок
€3,62
Машины низкотемпературной техники. Криогенные машины и инструментыВладимир Иванович Петров u.a.
auf Russisch
Text PDF
Средний рейтинг 3,6 на основе 5 оценок
€8,47
Экономика на пальцах: научно и увлекательноАлександр Никонов
auf Russisch
Text
Средний рейтинг 4,2 на основе 46 оценок
€5,60
Толковый словарь русских научно-технических терминов
Коллектив авторов
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€14,03
Теоретический минимум по Computer Science. Сети, криптография и data science (pdf + epub)Владстон Феррейра Фило u.a.Перевод Р. Чикин
auf Russisch
Text PDF
Средний рейтинг 4,8 на основе 22 оценок
€8,47
Введение в технологию химического осаждения из газовой фазы тонких пленок для электроники: оборудование, методология, особенности роста. Учебное пособие для вузовВ. Ю. Васильев
auf Russisch
Text PDF
Средний рейтинг 0 на основе 0 оценок
€19,90
Эпохи глобализации: география, технологии и институтыДжеффри СаксПеревод Николай Проценко
auf Russisch
Text
Средний рейтинг 4,1 на основе 9 оценок
€5,13
Думай как математик: Как решать любые задачи быстрее и эффективнееБарбара ОаклиПеревод Ирина Майгурова
auf Russisch
Text
Средний рейтинг 4,2 на основе 550 оценок
€5,83
Архитектура промышленных зданийА. П. Михеев u.a.
auf Russisch
Text PDF
Средний рейтинг 4,8 на основе 4 оценок
€6,67
Современные технологии строительства и реконструкции зданийГеннадий Бадьин u.a.
auf Russisch
Text
Средний рейтинг 4,6 на основе 5 оценок
€3,45
Думай «почему?». Причина и следствие как ключ к мышлениюДжудиа Перл u.a.Перевод Таира Мамедова и др.
auf Russisch
Text
Средний рейтинг 4,3 на основе 13 оценок
€7
Деглобализация: кризис неолиберализма и движение к новому миропорядкуОлег Олегович Комолов u.a.
auf Russisch
Text PDF
Средний рейтинг 4 на основе 1 оценок
€8,52
Финансы как творчество. Хроника финансовых реформ в КазахстанеГригорий Марченко
auf Russisch
Text
Средний рейтинг 5 на основе 1 оценок
€2,92
18+
Максимализмы (сборник)Михаил Армалинский
auf Russisch
Text
Средний рейтинг 4,6 на основе 5 оценок
€1,52
Как нефть правит миром. От Первой мировой войны до сланцевой революцииЧхве Чжи УнПеревод А. И. Гребенкина
auf Russisch
Text
Средний рейтинг 4,9 на основе 9 оценок
€8,45