Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Информатика и вычислительная техника = computer science and technology
----> программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
------> алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
Печать списка
Доступно
1 из 52
Доступно
2 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 5
Доступно
1 из 3
Доступно
24 из 24
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 5
Доступно
1 из 5
Доступно
2 из 6
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 3
Доступно
32 из 51
Доступно
1 из 1
Доступно
1 из 8
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 5
Доступно
1 из 5
--> Информатика и вычислительная техника = computer science and technology
----> программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
------> алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
Рубрика
- Название:
- алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
Печать списка
Связанные описания:
Доступно
1 из 52
Доступно
2 из 2
Доступно
1 из 4
Книга
Мозговой, М. В.
Классика программирования: алгоритмы, языки, автоматы, компиляторы: практический подход
Наука и техника, 2006 г.
ISBN 5-943872-24-8
Мозговой, М. В.
Классика программирования: алгоритмы, языки, автоматы, компиляторы: практический подход
Наука и техника, 2006 г.
ISBN 5-943872-24-8
Доступно
1 из 2
Книга
Трахтенгерц, Э. А.
Компьютерная поддержка управления ликвидацией последствий радиационного воздействия
СИНТЕГ, 2004 г.
ISBN 5-89638-071-2
Трахтенгерц, Э. А.
Компьютерная поддержка управления ликвидацией последствий радиационного воздействия
СИНТЕГ, 2004 г.
ISBN 5-89638-071-2
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 2
Книга
Григорьев, А.
Машинное обучение: портфолио реальных проектов
ISBN 9785446119783
Григорьев, А.
Машинное обучение: портфолио реальных проектов
Серия: Б-ка программиста
Питер, 2023 г.ISBN 9785446119783
Доступно
1 из 3
Книга
Бурков, А.
Машинное обучение без лишних слов
ISBN 9785446115600
Бурков, А.
Машинное обучение без лишних слов
Серия: Б-ка программиста
Питер, 2020 г.ISBN 9785446115600
Доступно
1 из 3
Статья
Сотникова, С. Ю.
Метод виртуальных испытаний электронных средств на основе автоматизированного моделирования
б.г.
ISBN отсутствует
Сотникова, С. Ю.
Метод виртуальных испытаний электронных средств на основе автоматизированного моделирования
б.г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Автореферат
Семерханов, И. А.
Методы и алгоритмы автоматизированной интеграции информационных ресурсов на основе онтологическог...: автореф. дис. ... канд. технических наук: 05.13.12
Санкт-Петербургский национальный исследовательский ун-т информационных технологий, механики и оптики, 2014 г.
ISBN отсутствует
Семерханов, И. А.
Методы и алгоритмы автоматизированной интеграции информационных ресурсов на основе онтологическог...: автореф. дис. ... канд. технических наук: 05.13.12
Санкт-Петербургский национальный исследовательский ун-т информационных технологий, механики и оптики, 2014 г.
ISBN отсутствует
Доступно
1 из 1
Автореферат
Харченко, О. В.
Методы и алгоритмы расчета корпоративных пенсионных программ: автореф. дис. ... канд. экон. наук : 08.00.13
Изд-во РЭА им. Г. В. Плеханова, 2005 г.
ISBN отсутствует
Харченко, О. В.
Методы и алгоритмы расчета корпоративных пенсионных программ: автореф. дис. ... канд. экон. наук : 08.00.13
Изд-во РЭА им. Г. В. Плеханова, 2005 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Вольфенгаген, В. Э.
Методы и средства вычислений с объектами: аппликативные вычислительные системы
ЮрИнфоР, ЮрИнфоР, 2004 г.
ISBN отсутствует
Вольфенгаген, В. Э.
Методы и средства вычислений с объектами: аппликативные вычислительные системы
ЮрИнфоР, ЮрИнфоР, 2004 г.
ISBN отсутствует
Доступно
1 из 3
Доступно
1 из 5
Книга
Петров, Ю. П.
Обеспечение достоверности и надежности компьютерных расчетов
БХВ-Петербург, 2008 г.
ISBN 978-5-9775023-4-4
Петров, Ю. П.
Обеспечение достоверности и надежности компьютерных расчетов
БХВ-Петербург, 2008 г.
ISBN 978-5-9775023-4-4
Доступно
1 из 3
Доступно
24 из 24
Книга
Макконелл, Дж.
Основы современных алгоритмов: учеб. пособие
ISBN 5-948360-05-9
Макконелл, Дж.
Основы современных алгоритмов: учеб. пособие
Серия: Сер. "Мир программирования"
Техносфера, 2006 г.ISBN 5-948360-05-9
Доступно
1 из 3
Книга
Липаев, В. В.
Отладка систем управляющих алгоритмов ЦВМ реального времени
Сов. радио, 1974 г.
ISBN отсутствует
Липаев, В. В.
Отладка систем управляющих алгоритмов ЦВМ реального времени
Сов. радио, 1974 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Сошников, Д. В.
Парадигма логического программирования
Вузовская книга, 2006 г.
ISBN 5-9502020-5-8
Сошников, Д. В.
Парадигма логического программирования
Вузовская книга, 2006 г.
ISBN 5-9502020-5-8
Доступно
1 из 4
Книга
Демьянович, Ю. К.
Параллельные алгоритмы. Разработка и реализация: учеб. пособие
БИНОМ. Лаборатория знаний, Национальный Открытый Ун-т "ИНТУИТ", 2012 г.
ISBN 978-5-9963049-6-7
Демьянович, Ю. К.
Параллельные алгоритмы. Разработка и реализация: учеб. пособие
БИНОМ. Лаборатория знаний, Национальный Открытый Ун-т "ИНТУИТ", 2012 г.
ISBN 978-5-9963049-6-7
Доступно
1 из 2
Книга
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6
Доступно
1 из 4
Доступно
1 из 2
Книга
Венгроу, Д.
Прикладные структуры данных и алгоритмы: прокачиваем навыки
ISBN 9785446120680
Венгроу, Д.
Прикладные структуры данных и алгоритмы: прокачиваем навыки
Серия: Б-ка программиста
Питер, 2024 г.ISBN 9785446120680
Статья
Данилов, К. В.
Прогнозирование энергопотребления на основе автоматического машинного обучения
б.г.
ISBN отсутствует
Данилов, К. В.
Прогнозирование энергопотребления на основе автоматического машинного обучения
б.г.
ISBN отсутствует
Доступно
1 из 5
Книга
Окулов, С. М.
Программирование в алгоритмах
БИНОМ. Лаборатория знаний, 2004 г.
ISBN 5-947740-10-9
Окулов, С. М.
Программирование в алгоритмах
БИНОМ. Лаборатория знаний, 2004 г.
ISBN 5-947740-10-9
Доступно
1 из 5
Доступно
2 из 6
Доступно
1 из 3
Книга
Ришкуция, В.
Программируй & типизируй
ISBN 978-5-4461-1692-8
Ришкуция, В.
Программируй & типизируй
Серия: Б-ка программиста
Питер, 2021 г.ISBN 978-5-4461-1692-8
Доступно
1 из 2
Книга
Ла Рокка, М.
Продвинутые алгоритмы и структуры данных
ISBN 9785446119462
Ла Рокка, М.
Продвинутые алгоритмы и структуры данных
Серия: Б-ка программиста
Питер, 2024 г.ISBN 9785446119462
Доступно
1 из 2
Книга
Клаусен, К.
Пять строк кода: Роберт Мартин рекомендует
ISBN 9785446119592
Клаусен, К.
Пять строк кода: Роберт Мартин рекомендует
Серия: Б-ка программиста
Питер, 2023 г.ISBN 9785446119592
Доступно
1 из 3
Доступно
1 из 1
Автореферат
Ефимов, Н. О.
Разработка и исследование метода и алгоритмов прецедентной идентификации фрагментов сканированног...: автореф. дис. ... канд. техн. наук : 05.13.17
Белгородский гос. нац. исслед. ун-т, 2019 г.
ISBN отсутствует
Ефимов, Н. О.
Разработка и исследование метода и алгоритмов прецедентной идентификации фрагментов сканированног...: автореф. дис. ... канд. техн. наук : 05.13.17
Белгородский гос. нац. исслед. ун-т, 2019 г.
ISBN отсутствует
Экз. чит. зала
Автореферат
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: автореф. дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2008 г.
ISBN отсутствует
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: автореф. дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2008 г.
ISBN отсутствует
Экз. чит. зала
Диссертация
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2007 г.
ISBN отсутствует
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2007 г.
ISBN отсутствует
Доступно
1 из 3
Книга
Хапке, Х.
Разработка конвейеров машинного обучения: автоматизация жизненных циклов модели с помощью TensorFlow
ДМК Пресс, 2021 г.
ISBN 9785970608869
Хапке, Х.
Разработка конвейеров машинного обучения: автоматизация жизненных циклов модели с помощью TensorFlow
ДМК Пресс, 2021 г.
ISBN 9785970608869
Доступно
1 из 3
Книга
Фоккинк, У.
Распределенные алгоритмы: интуитивный подход
ISBN 9785496021630
Фоккинк, У.
Распределенные алгоритмы: интуитивный подход
Серия: Сер. "Для профессионалов"
Питер, 2017 г.ISBN 9785496021630
Доступно
1 из 3
Книга
Свейгарт, Э.
Рекурсивная книга о рекурсии
ISBN 9785446123933
Свейгарт, Э.
Рекурсивная книга о рекурсии
Серия: Б-ка программиста
Питер, 2023 г.ISBN 9785446123933
Доступно
32 из 51
Книга
Ульянов, М. В.
Ресурсно - эффективные компьютерные алгоритмы. Разработка и анализ: учеб. пособие для вузов
Физматлит, 2008 г.
ISBN 978-5-922109-50-5
Ульянов, М. В.
Ресурсно - эффективные компьютерные алгоритмы. Разработка и анализ: учеб. пособие для вузов
Физматлит, 2008 г.
ISBN 978-5-922109-50-5
Доступно
1 из 1
Книга
Павловская, Т. А.
С/С++. Программирование на языке высокого уровня: для магистров и бакалавров : учебник для вузов
ISBN 978-5-947235-68-5
Павловская, Т. А.
С/С++. Программирование на языке высокого уровня: для магистров и бакалавров : учебник для вузов
Серия: Сер. "Учебник для вузов"
Питер, 2011 г.ISBN 978-5-947235-68-5
Доступно
1 из 8
Книга
Сэломон, Д.
Сжатие данных, изображений и звука: учеб. пособие для вузов
ISBN 5-948360-27-X
Сэломон, Д.
Сжатие данных, изображений и звука: учеб. пособие для вузов
Серия: Сер. "Мир программирования"
Техносфера, 2006 г.ISBN 5-948360-27-X
Доступно
1 из 4
Книга
Разумов, О. С.
Системные знания: концепция, методология, практика
Финансы и статистика, 2006 г.
ISBN 5-279-02760-X
Разумов, О. С.
Системные знания: концепция, методология, практика
Финансы и статистика, 2006 г.
ISBN 5-279-02760-X
Доступно
1 из 3
Книга
Рафгарден, Т.
Совершенный алгоритм: алгоритмы для NP-трудных задач
Питер, Питер, 2021 г.
ISBN 9785446117994
Рафгарден, Т.
Совершенный алгоритм: алгоритмы для NP-трудных задач
Питер, Питер, 2021 г.
ISBN 9785446117994
Доступно
1 из 3
Книга
Рафгарден, Т.
Совершенный алгоритм: графовые алгоритмы и структуры данных
Питер, Питер, 2019 г.
ISBN 9785446112722
Рафгарден, Т.
Совершенный алгоритм: графовые алгоритмы и структуры данных
Питер, Питер, 2019 г.
ISBN 9785446112722
Доступно
1 из 5
Книга
Рафгарден, Т.
Совершенный алгоритм: жадные алгоритмы и динамическое программирование
Питер, Питер, 2020 г.
ISBN 9785446114450
Рафгарден, Т.
Совершенный алгоритм: жадные алгоритмы и динамическое программирование
Питер, Питер, 2020 г.
ISBN 9785446114450
Доступно
1 из 5
Книга
Рафгарден, Т.
Совершенный алгоритм: основы
ISBN 9785446109074
Рафгарден, Т.
Совершенный алгоритм: основы
Серия: Б-ка программиста
Питер, 2019 г.ISBN 9785446109074