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

Кларк Э. М., Грамберг О., Пелед Д.
   Верификация моделей программ: Model Checking : пер. с англ. / Кларк Э. М., Грамберг О., Пелед Д. ; ред. пер. Смелянского Р. ; пер. Захаров В., Кончаков Р., Царьков Д. - М. : Изд-во Московского центра непрерывного математического образования, 2002. - 416 с. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2.

Клеандров М. И.
   Кандидатская диссертация юриста: первые шаги исследователя / Клеандров М. И. ; Академический правовой университет (институт). - 2-е изд., перераб. и доп. - М. : МЗ Пресс, 2004. - 192 с. - ISBN 5-94073-070-1.

Клевцова К. С.
   Применение САПР в графических дисциплинах при подготовке инженерных кадров / Клевцова К. С. // Развитие'23: Российский PLM-комплекс для подготовки кадров : тезисы докладов Всероссийского форума (с международным участием), Москва, 6 декабря, 2023 г. / МГТУ им. Н. Э. Баумана (национальный исследовательский университет), Факультет робототехники и комплексной автоматизации МГТУ им. Н. Э. Баумана, Консорциум разработчиков инженерного программного обеспечения "Развитие", Акционерное общество "АСКОН". - М., 2023. - С. 76-78.

Клейнберг Д., Тардос Е.
   Алгоритмы. Разработка и применение / Клейнберг Д., Тардос Е. ; пер. с англ. Матвеев Е. - СПб. : Питер, 2018. - 799 с. : ил. - (Классика computer science). - ISBN 978-5-496-01545-5.

Клейтон Р.
   Lotus Notes 5. Учебный курс / Клейтон Р. ; пер. с англ. Криштоп А. - СПб. : Питер, 2001. - 527 с. : ил. - (Учебный курс). - ISBN 5-272-00007-2.

Клементьев П. А.
   Роль информационной системы предприятия при реализации функций и задач контроллинга инновационных проектов / Клементьев П. А. // Контроллинг: технологии управления. - 2015. - № 4. - С. 50-52.

Клементьева С. В., Селякова Ю. И.
   Форсайт-исследование стратегического развития отраслей как инструмент контроллинга инновационных проектов / Клементьева С. В., Селякова Ю. И. // Контроллинг: технологии управления. - 2015. - № 4. - С. 64-73.

Клеппман М.
   Высоконагруженные приложения. Программирование, масштабирование, поддержка / Клеппман М. ; пер. с англ. Пальти И., Тумаркин А. - СПб. : Питер, 2022. - 637 с. : рис. - (Бестселлеры O'Reilly). - Библиогр. в конце глав. - ISBN 978-5-4461-0512-0.

Клепцов М. Я.
   Информационные системы органов государственного управления : монография / Клепцов М. Я. ; Российская академия государственной службы при Президенте Российской Федерации ; общ. ред. Кушлин В. И. - М. : Изд-во РАГС, 1996. - 207 с. : ил. - Библиогр.: с. 203-206. - ISBN 5-77292-0009-9.

Клехо Д. Ю., Карелина Е. Б., Батырев Ю. П.
   Использование технологии сверточных нейронных сетей в сегментации объектов изображения / Клехо Д. Ю., Карелина Е. Б., Батырев Ю. П. // Лесной вестник. - 2021. - Т. 25, № 1. - С. 140-145.