Расширенный поиск

М., К. Р. Доказательство корректности программ : руководство / К. Р. М. ; научный редактор Д. А. Кондратьев ; перевод с английского А. Н. Киселева ; иллюстрации К. Лейно. — Москва : ДМК Пресс, 2024. — 530 с. — ISBN 978-5-93700-199-3.

Каазик, Ю. А. Математический словарь : словарь / Ю. А. Каазик. — Москва : ФИЗМАТЛИТ, 2007. — 336 с. — ISBN 78-5-9221-0847-8.

Кабалдин, Ю. Г. Управление киберфизическими и механообрабатывающими системами в цифровом производстве на основе искусственного интеллекта и облачных технологий : учебное пособие / Ю. Г. Кабалдин, Д. А. Шатагин, П. В. Колчин. — Москва : Машиностроение, 2019. — 293 с. — ISBN 978-5-907104-17-4.

Кабалевский, Д. Б. Концерт № 3 Ноты / Д. Б. Кабалевский. — Санкт-Петербург : ЦГПБ им. В.В. Маяковского, 1955. — 60 с.

Кабальнова, М. Ю. Трудовое право : учебно-методическое пособие / М. Ю. Кабальнова. — Москва : МГТУ им. Н.Э. Баумана, 2020. — 28 с. — ISBN 978-5-7038-5341-2.

Кабанов, С. А. Оптимизация динамики систем при действии возмущений / С. А. Кабанов. — Москва : ФИЗМАТЛИТ, 2008. — 200 с. — ISBN 978-5-9221-0972-7.

Кабашов, С. Ю. Организация работы с обращениями граждан в истории России: учебное пособие : учебное пособие / С. Ю. Кабашов. — 4-е изд. — Москва : ФЛИНТА, 2021. — 312 с. — ISBN 978-5-9765-0934-4.

Кабицкий, М. Е. История португальской этнологии : монография / М. Е. Кабицкий. — Москва : МГУ имени М.В.Ломоносова, 2003. — 176 с. — ISBN 5-211-04708-7.

Кабяк, Н. В. Любимые советские фильмы на уроке РКИ : учебное пособие / Н. В. Кабяк ; научный редактор Л. Л. Андреева. — Москва : ФЛИНТА, 2022. — 392 с. — ISBN 978-5-9765-4956-2.

Каваллини, Э. Венецианский карнавал / Э. Каваллини. — Санкт-Петербург : ЦГПБ им. В.В. Маяковского, 1930. — 20 с.