Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційний короткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=формализация<.>
Загальна кількість знайдених документів : 20
Показані документи с 1 за 20
1.

Світличний О.О. Основи геоінформатикм/О. О. Світличний, С. В. Плотницький ; за заг. ред. О. О. Світличного. - 2008
2.

Конверський А. Є. Логіка (традиційна та сучасна)/А. Є. Конверський. - 2008
3.

Методика наукових досліджень в агрономії/Ермантраут Е. Р. [та ін.]. - 2010
4.

Психологическая диагностика. Проблемы и исследования/под. ред. К. М. Гуревича. - 1981
5.

Конверський А. Є. Логіка/А. Є. Конверський. - 1999
6.

Ишмуратов А. Т. Логический анализ практических рассуждений / Формализация психологических понятий / /А. Т. Ишмуратов. - 1987
7.

Логика,психология и семиотика: аспекты взаимодействия/[Под ред. Б. А. Парахонского]. - 1990
8.

Смирнова Е. Д. Основы логической семантики/Е. Д. Смирнова. - 1990
9.

Искусственный интеллект. Кн. 2:Модели и методы/под ред. Д. А. Поспелова. - 1990
10.

Осуга С. Обработка знаний/С. Осуга ; пер. с англ. В. И. Этовой. - 1989
11.

Актуальні проблеми економіки - 2012г.,N 7 (Введено оглавление)
12.

Кокодей Т. А. Анализ и формализация стратегий ТПГ "Rainford"методом обратной идентификации (1992 - 1996 гг.)/Т. А. Кокодей // Актуальні проблеми економіки. -К.:Нац. акад. управління, 2012,N N 7.-С.26-32
13.

Трохимчук П. П. Математичні основи знань. Поліметричний підхід/Петро Трохимчук. - 2014
14.

Процеси механічної обробки в машинобудуванні. Вип. 14/[редкол.: Мельничук П. П. (голов. ред.) та ін.]. - 2013
15.

Коваль В. А. Модели и методы обеспечения функциональной и технологической воспроизводимости интегральных микросхем/В. А. Коваль. - 1985
16.

Грицик В. В. Моделювання та синтез складних зображень симетричної структури/В. В. Грицик, К. М. Березька, О. М. Березький ; під ред. В. В. Грицика. - 2005
17.

Мейер Д. Теория реляционных баз данных/Д. Мейер ; пер. c англ.: М. К. Валиева, С. М. Ефимовой, И. С. Захаревича ; под ред. М. Ш. Цаленко. - 1987
18.

Боброва И. В. Основы автоматизированного проектирования технологических процессов электрофизических и электрохимических методов обработки/И. В. Боброва, А. С. Столбунов. - 1990
19.

Персональная ЭВМ проектировщика/Г. С. Клевицкий, В. Б. Хейфец, коллектив яп. авт. под рук. Е. Одзи ; под общ. ред. Г. С. Клевицкого. - 1990
20.

Старостин В. Г. Формализация проектирования процессов обработки резанием/В. Г. Старостин, В. Е. Лелюхин ; [редкол.: Ю. М. Соломенцев и др.]. - 1986
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)