Методы представления знаний и доказательное программирование сборник научных трудов

Методы представления знаний и доказательное программирование, сборник научных трудов

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Академия наук Украинской ССР (АН УССР) Институт кибернетики (ИК)
Άλλοι συγγραφείς:	Ющенко Е. Л. (340)
Γλώσσα:	Ρωσικά
Έκδοση:	Киев, 1990
Θέματα:	Математическое моделирование > Программирование знания представления методы информационные технологии программные средства интеллектуализация интерфейсы операционные системы
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=245513

Παρόμοια τεκμήρια

Аналитические вычисления в системе REDUCE справочное пособие
από: Гурин Н. И. Николай Иванович
Έκδοση: (Минск, Наука и техника, 1989)

Компьютерное моделирование оптико-электронных систем первичной обработки информации
από: Торшина И. П. Ирина Павловна
Έκδοση: (Москва, Логос, 2009)

Интеллектуализация программных средств сборник научных трудов
Έκδοση: (Новосибирск, Наука, 1990)

Информатика и программирование: программные средства реализации информационных процессов учебник
από: Захарова А. А. Александра Александровна
Έκδοση: (Томск, Изд-во ТПУ, 2013)

Модели и системы представления знаний сборник научных трудов
Έκδοση: (Москва, МИРЭА, 1990)

Интеллектуализация программного обеспечения информационно-вычислительных систем сборник научных трудов
Έκδοση: (Киев, Изд-во ИК, 1990)

Технология Java Card ™ для смарт-карт: архитектура и руководство программиста
από: Жикун Ч.
Έκδοση: (Москва, Техносфера, 2008)

Языки и методы программирования учебно-методичекое пособие
από: Рыбалка С. А. Сергей Анатольевич
Έκδοση: (Томск, Изд-во ТПУ, 2014)

Долговечность и эффективность тормозных устройств
από: Германчук Ф. К. Федор Куприянович
Έκδοση: (Москва, Машиностроение, 1973)

Тепловой расчет тормозных устройств
από: Вольченко А. И. Александр Иванович
Έκδοση: (Львов, Вища школа, 1987)

Теоретические основы информационных систем учебное пособие
από: Белов А. А.
Έκδοση: (Иваново, ИГЭУ, 2019)

Программирование в Delphi 7
από: Дарахвелидзе П. Г. Петр Г.
Έκδοση: (Санкт-Петербург, БХВ-Петербург, 2005)

Программирование научный журнал
Έκδοση: (Москва, Наука, 2017-2019)

Гидравлические тормоза
από: Гавриленко Б. А. Борис Александрович
Έκδοση: (Москва, Машгиз, 1961)

Кн. 6: Персональные автоматизированные информационные системы и дисплейные комплексы
Έκδοση: (1990)

Моделирование и автоматизированное использование структурированных физических знаний монография
από: Фоменков С. А. Сергей Александрович
Έκδοση: (Москва, Машиностроение-1, 2004)

Интеллектуальный поиск информации, основанный на онтологии
από: Керимов С. Г.
Έκδοση: (2004)

Неклассические информационные технологии в управлении машинными агрегатами и производственными технологиями
από: Саакян Р. Р. Рустам Рафикович
Έκδοση: (Благовещенск, АмГУ, 2004 )

Интеллектуальный капитал организации: сущность, структура и основы управления
από: Салихов Б. В. Борис Варисович
Έκδοση: (Москва, Дашков и К, 2009)

Основы параллельного программирования
από: Богачев К. Ю. Кирилл Юрьевич
Έκδοση: (Москва, Бином, 2003)

Концепция системы управления интеллектуальным месторождением
από: Ефремов С. А.
Έκδοση: (2016)

Реализация базового интерфейса для взаимодействия с удалёнными субъектами обучения
από: Ботыгин И. А. Игорь Александрович
Έκδοση: (2001)

Интеллектуальные средства измерений учебник
από: Раннев Г. Г. Георгий Георгиевич
Έκδοση: (Москва, Академия, 2011)

Методы и программные средства для расчета и оптимизации эксплутационных режимов систем поддержания пластового давления
από: Новицкий Н. Н.
Έκδοση: (2003)

Интеллектуальные информационные системы учебник для вузов
από: Гаскаров Д. В. Диляур Вагизович
Έκδοση: (Москва, Высшая школа, 2003)

Информатика и программирование сборник научных трудов
Έκδοση: (Новосибирск, [Б. и.], 1989)

Информатика: технологии и офисное программирование учебное пособие
από: Старыгина С. Д.
Έκδοση: (Казань, КНИТУ, 2018)

Информационные технологии теоретический и прикладной научно-технический журнал
Έκδοση: (Москва, Новые технологии, 2000-)

Разработка прикладных систем на Visual Basic for Windows пер. с англ.
από: Скотт Д. Ф.
Έκδοση: (Москва, Исланд, 1994)

Windows XP пер. с англ.
από: Ботт Э. Эд
Έκδοση: (СПб., Питер, 2004)

Семантические представления
από: Кузнецов И. П. Игорь Петрович
Έκδοση: (Москва, Наука, 1986)

Программное обеспечение учебное пособие
από: Голицына О. Л. Ольга Леонидовна
Έκδοση: (Москва, Форум, 2006)

Системы представления и приобретения знаний учебное пособие
από: Птицына Л. К.
Έκδοση: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2019)

Основы Windows Presentation Foundation
από: Андерсон К.
Έκδοση: (Москва, ДМК Пресс, 2008)

Анализ методов и моделей для программированного интеллектуального контроля знаний студентов
από: Молнина Е. В. Елена Владимировна
Έκδοση: (2010)

Семейство микроконтроллеров STM32. Программирование и применение учебное пособие
από: Конченков В. И.
Έκδοση: (Волгоград, ВолгГТУ, 2015)

Основы микропроцессорных вычислительных систем пер. с англ.
από: Данхоф К. Дж. Кеннет Дж.
Έκδοση: (Москва, Высшая школа, 1986)

Разработка программных средств канала передачи данных контроллера местного пункта управления
από: Дериглазов А. А. Алексей Анатольевич
Έκδοση: (2016)

Анализ эффективности применения метода индексации фактов
από: Осадчая И. А.
Έκδοση: (2016)

Расчет фрикционных тормозов
από: Пыжевич Л. М. Леонид Михайлович
Έκδοση: (Москва, Машиностроение, 1964)