Books similar to «Введение в формальные методы верификации программ», А. С. Камкин

Операционные системы реального времени и технологии разработки кроссплатформенного программного обеспечения. Часть I
Д. А. Беспалов and others
in Russian
Text PDF
Средний рейтинг 5 на основе 1 оценок
$2.46
Модели и подходы к оценке цифровой зрелостиКлуб 4CIO
in Russian
Text
Средний рейтинг 4,5 на основе 2 оценок
$2.71
Дары БоговВера Порет
in Russian
Text
Средний рейтинг 3,8 на основе 73 оценок
$1.02
Аппаратурные методики психологической диагностики группы в совместной деятельностиСергей Васильевич Сарычев and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$5.09
Теория автоматического управления. Замкнутые системы 2-е изд., пер. и доп. Учебное пособие для академического бакалавриатаVadim Zhmud
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$15.78
Экономика отрасли. Морской транспортИ. Б. Яцков
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$25.14
Кровь времёнИван Будник
in Russian
Text PDF
Средний рейтинг 4,9 на основе 7 оценок
$4.07
Мастерство REST-api: Создание эффективных веб-сервисовРазработчик
in Russian
Text
Средний рейтинг 0 на основе 0 оценок
$2.71
Три состояния информации: восприятие, сущность, смыслВ. Н. Волкова and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$2.75
Промышленная собственность. Оформление заявки на выдачу патента на полезную модельА. В. Степанов and others
in Russian
Text PDF
Средний рейтинг 5 на основе 2 оценок
$2.18
Выбор направлений диверсификации в машиностроенииВиктор Николаевич Еремин and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$7.61
Экосистема AI и творчества: Как объединить технологии и ремесленное мастерство для успеха в бизнесе, 2-e изданиеРанас Мукминов
in Russian
Text
Средний рейтинг 5 на основе 3 оценок
$13.48
Что есть что в мировой политике
Collective work
in Russian
Text
Средний рейтинг 0 на основе 0 оценок
$4.79
The Value EquationChristopher H. Volk
Text PDF
Средний рейтинг 0 на основе 0 оценок
$29.34
Ключевые идеи книги: Уполномоченные: обычные люди, экстраординарные продукты. Марти Каган, Крис ДжонсSmart Reading
in Russian
Text
Средний рейтинг 4,8 на основе 4 оценок
$4.07
Системы автоматического управления высшей точности 2-е изд., испр. и доп. Учебное пособие для бакалавриата и магистратурыVadim Zhmud and others
in Russian
Text PDF
Средний рейтинг 5 на основе 1 оценок
$14.56
Проектирование и конфигурация компьютерных сетей с внедрением микросервисной архитектуры. Учебное пособие для вузовАлександр Леонидович Золкин and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$5.76
Software Project Estimation. The Fundamentals for Providing High Quality Information to Decision Makers
Alain Abran
Text PDF
Средний рейтинг 0 на основе 0 оценок
$105.54
Software Measurement and EstimationM. Brennan Carol and others
Text PDF
Средний рейтинг 0 на основе 0 оценок
$153.60
Бизнес под рентгеном: Как ИИ находит точки роста прибыли
Дмитрий Ланецкий
in Russian
Text
Средний рейтинг 0 на основе 0 оценок
$5.43
Sistema y uso de la entonación en español habladoAntonio Hidalgo Navarro
in Spanish
Text
Средний рейтинг 0 на основе 0 оценок
$9.16
Economía española en 650 palabrasDiego Barceló Larran
in Spanish
Text
Средний рейтинг 0 на основе 0 оценок
$4.57
Управленческий анализ. (Магистратура). Учебник.Ольга Владимировна Шнайдер and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$16.34
Ценообразование. Учебное пособие для вузовС. В. Якунин and others
in Russian
Text PDF
Средний рейтинг 0 на основе 0 оценок
$8.50