Методы представления знаний и доказательное программирование, сборник научных трудов
| Korporativna značnica: | Академия наук Украинской ССР (АН УССР) Институт кибернетики (ИК) |
|---|---|
| Drugi avtorji: | Ющенко Е. Л. (340) |
| Izdano: |
Киев, 1990
|
| Teme: | |
| Format: | Knjiga |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=245513 |
Podobne knjige/članki
Аналитические вычисления в системе REDUCE справочное пособие
od: Гурин Н. И. Николай Иванович
Izdano: (Минск, Наука и техника, 1989)
od: Гурин Н. И. Николай Иванович
Izdano: (Минск, Наука и техника, 1989)
Компьютерное моделирование оптико-электронных систем первичной обработки информации
od: Торшина И. П. Ирина Павловна
Izdano: (Москва, Логос, 2009)
od: Торшина И. П. Ирина Павловна
Izdano: (Москва, Логос, 2009)
Интеллектуализация программных средств сборник научных трудов
Izdano: (Новосибирск, Наука, 1990)
Izdano: (Новосибирск, Наука, 1990)
Информатика и программирование: программные средства реализации информационных процессов учебник
od: Захарова А. А. Александра Александровна
Izdano: (Томск, Изд-во ТПУ, 2013)
od: Захарова А. А. Александра Александровна
Izdano: (Томск, Изд-во ТПУ, 2013)
Модели и системы представления знаний сборник научных трудов
Izdano: (Москва, МИРЭА, 1990)
Izdano: (Москва, МИРЭА, 1990)
Интеллектуализация программного обеспечения информационно-вычислительных систем сборник научных трудов
Izdano: (Киев, Изд-во ИК, 1990)
Izdano: (Киев, Изд-во ИК, 1990)
Технология Java Card ™ для смарт-карт: архитектура и руководство программиста
od: Жикун Ч.
Izdano: (Москва, Техносфера, 2008)
od: Жикун Ч.
Izdano: (Москва, Техносфера, 2008)
Языки и методы программирования учебно-методичекое пособие
od: Рыбалка С. А. Сергей Анатольевич
Izdano: (Томск, Изд-во ТПУ, 2014)
od: Рыбалка С. А. Сергей Анатольевич
Izdano: (Томск, Изд-во ТПУ, 2014)
Долговечность и эффективность тормозных устройств
od: Германчук Ф. К. Федор Куприянович
Izdano: (Москва, Машиностроение, 1973)
od: Германчук Ф. К. Федор Куприянович
Izdano: (Москва, Машиностроение, 1973)
Тепловой расчет тормозных устройств
od: Вольченко А. И. Александр Иванович
Izdano: (Львов, Вища школа, 1987)
od: Вольченко А. И. Александр Иванович
Izdano: (Львов, Вища школа, 1987)
Теоретические основы информационных систем учебное пособие
od: Белов А. А.
Izdano: (Иваново, ИГЭУ, 2019)
od: Белов А. А.
Izdano: (Иваново, ИГЭУ, 2019)
Программирование в Delphi 7
od: Дарахвелидзе П. Г. Петр Г.
Izdano: (Санкт-Петербург, БХВ-Петербург, 2005)
od: Дарахвелидзе П. Г. Петр Г.
Izdano: (Санкт-Петербург, БХВ-Петербург, 2005)
Гидравлические тормоза
od: Гавриленко Б. А. Борис Александрович
Izdano: (Москва, Машгиз, 1961)
od: Гавриленко Б. А. Борис Александрович
Izdano: (Москва, Машгиз, 1961)
Программирование научный журнал
Izdano: (Москва, Наука, 2017-2019)
Izdano: (Москва, Наука, 2017-2019)
Моделирование и автоматизированное использование структурированных физических знаний монография
od: Фоменков С. А. Сергей Александрович
Izdano: (Москва, Машиностроение-1, 2004)
od: Фоменков С. А. Сергей Александрович
Izdano: (Москва, Машиностроение-1, 2004)
Кн. 6: Персональные автоматизированные информационные системы и дисплейные комплексы
Izdano: (1990)
Izdano: (1990)
Неклассические информационные технологии в управлении машинными агрегатами и производственными технологиями
od: Саакян Р. Р. Рустам Рафикович
Izdano: (Благовещенск, АмГУ, 2004 )
od: Саакян Р. Р. Рустам Рафикович
Izdano: (Благовещенск, АмГУ, 2004 )
Интеллектуальный поиск информации, основанный на онтологии
od: Керимов С. Г.
Izdano: (2004)
od: Керимов С. Г.
Izdano: (2004)
Интеллектуальный капитал организации: сущность, структура и основы управления
od: Салихов Б. В. Борис Варисович
Izdano: (Москва, Дашков и К, 2009)
od: Салихов Б. В. Борис Варисович
Izdano: (Москва, Дашков и К, 2009)
Основы параллельного программирования
od: Богачев К. Ю. Кирилл Юрьевич
Izdano: (Москва, Бином, 2003)
od: Богачев К. Ю. Кирилл Юрьевич
Izdano: (Москва, Бином, 2003)
Концепция системы управления интеллектуальным месторождением
od: Ефремов С. А.
Izdano: (2016)
od: Ефремов С. А.
Izdano: (2016)
Интеллектуальные средства измерений учебник
od: Раннев Г. Г. Георгий Георгиевич
Izdano: (Москва, Академия, 2011)
od: Раннев Г. Г. Георгий Георгиевич
Izdano: (Москва, Академия, 2011)
Интеллектуальные информационные системы учебник для вузов
od: Гаскаров Д. В. Диляур Вагизович
Izdano: (Москва, Высшая школа, 2003)
od: Гаскаров Д. В. Диляур Вагизович
Izdano: (Москва, Высшая школа, 2003)
Реализация базового интерфейса для взаимодействия с удалёнными субъектами обучения
od: Ботыгин И. А. Игорь Александрович
Izdano: (2001)
od: Ботыгин И. А. Игорь Александрович
Izdano: (2001)
Методы и программные средства для расчета и оптимизации эксплутационных режимов систем поддержания пластового давления
od: Новицкий Н. Н.
Izdano: (2003)
od: Новицкий Н. Н.
Izdano: (2003)
Информатика: технологии и офисное программирование учебное пособие
od: Старыгина С. Д.
Izdano: (Казань, КНИТУ, 2018)
od: Старыгина С. Д.
Izdano: (Казань, КНИТУ, 2018)
Информатика и программирование сборник научных трудов
Izdano: (Новосибирск, [Б. и.], 1989)
Izdano: (Новосибирск, [Б. и.], 1989)
Информационные технологии теоретический и прикладной научно-технический журнал
Izdano: (Москва, Новые технологии, 2000-)
Izdano: (Москва, Новые технологии, 2000-)
Программное обеспечение учебное пособие
od: Голицына О. Л. Ольга Леонидовна
Izdano: (Москва, Форум, 2006)
od: Голицына О. Л. Ольга Леонидовна
Izdano: (Москва, Форум, 2006)
Расчет фрикционных тормозов
od: Пыжевич Л. М. Леонид Михайлович
Izdano: (Москва, Машиностроение, 1964)
od: Пыжевич Л. М. Леонид Михайлович
Izdano: (Москва, Машиностроение, 1964)
Windows XP пер. с англ.
od: Ботт Э. Эд
Izdano: (СПб., Питер, 2004)
od: Ботт Э. Эд
Izdano: (СПб., Питер, 2004)
Семантические представления
od: Кузнецов И. П. Игорь Петрович
Izdano: (Москва, Наука, 1986)
od: Кузнецов И. П. Игорь Петрович
Izdano: (Москва, Наука, 1986)
Разработка прикладных систем на Visual Basic for Windows пер. с англ.
od: Скотт Д. Ф.
Izdano: (Москва, Исланд, 1994)
od: Скотт Д. Ф.
Izdano: (Москва, Исланд, 1994)
Основы Windows Presentation Foundation
od: Андерсон К.
Izdano: (Москва, ДМК Пресс, 2008)
od: Андерсон К.
Izdano: (Москва, ДМК Пресс, 2008)
Системы представления и приобретения знаний учебное пособие
od: Птицына Л. К.
Izdano: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2019)
od: Птицына Л. К.
Izdano: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2019)
Семейство микроконтроллеров STM32. Программирование и применение учебное пособие
od: Конченков В. И.
Izdano: (Волгоград, ВолгГТУ, 2015)
od: Конченков В. И.
Izdano: (Волгоград, ВолгГТУ, 2015)
Интеллектуализация производства - путь к эффективности
od: Тынкачев А. Р.
Izdano: (2006)
od: Тынкачев А. Р.
Izdano: (2006)
Анализ методов и моделей для программированного интеллектуального контроля знаний студентов
od: Молнина Е. В. Елена Владимировна
Izdano: (2010)
od: Молнина Е. В. Елена Владимировна
Izdano: (2010)
Разработка программных средств канала передачи данных контроллера местного пункта управления
od: Дериглазов А. А. Алексей Анатольевич
Izdano: (2016)
od: Дериглазов А. А. Алексей Анатольевич
Izdano: (2016)
Основы микропроцессорных вычислительных систем пер. с англ.
od: Данхоф К. Дж. Кеннет Дж.
Izdano: (Москва, Высшая школа, 1986)
od: Данхоф К. Дж. Кеннет Дж.
Izdano: (Москва, Высшая школа, 1986)
Podobne knjige/članki
-
Аналитические вычисления в системе REDUCE справочное пособие
od: Гурин Н. И. Николай Иванович
Izdano: (Минск, Наука и техника, 1989) -
Компьютерное моделирование оптико-электронных систем первичной обработки информации
od: Торшина И. П. Ирина Павловна
Izdano: (Москва, Логос, 2009) -
Интеллектуализация программных средств сборник научных трудов
Izdano: (Новосибирск, Наука, 1990) -
Информатика и программирование: программные средства реализации информационных процессов учебник
od: Захарова А. А. Александра Александровна
Izdano: (Томск, Изд-во ТПУ, 2013) -
Модели и системы представления знаний сборник научных трудов
Izdano: (Москва, МИРЭА, 1990)