Логин (фамилия): Пароль (штрих-код):

Электронный каталог МУБиНТ - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
 Найдено в других БД:"Руконт"-Национальный цифровой ресурс (26)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=АВТОМАТИЧЕСКОЕ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
 1..4 
1.
681.3
Я41


   
    Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

2.
    (Свободных экземпляров нет)
Шифр: ДиВО/2002/9
   Журнал

Дистанционное и виртуальное обучение [Текст] : Дайджест российской и зарубежной прессы. - М. : Редакция журнала "Дистанционное и виртуальное обучение". - ISSN 1561-2449. - Выходит ежемесячно
2002г. № 9
Содержание:
Альтшулер, Г. Колледжи должны заниматься разработкой технологических планов / Г. Альтшулер, П. Макклюр. - С.5-7
Кл.слова: онлайновое обучение
Африна, Е. Педсоветы в Интернете / Е. Африна. - С.7-8
Бен-Джейкоб, М. Разработка политики дистанционного обучения / М. Бен-Джейкоб. - С.8-10
Кл.слова: дистанционное обучение
Бирн, Э. От виртуального до смешного: как не дать себя обмануть / Э. Бирн. - С.10-12
Кл.слова: мошенничество, интернет
Британский музей начинает онлайновые курсы. - С.12-13
Васильева, И. А. Психологические аспекты применения информационных технологий / И.А. Васильева, Е.М. Осипова, Н.Н. Петрова. - С.14-18
Ватсон, С. Университет Буффало заморозил онлайновую программу по деловому администрированию / С. Ватсон. - С.18-20
Дженнигс, М. Использование видеоконференций как средства общения между разработчиками учебных программ и учителями-интернами / М. Дженнигс, С. Бронак. - С.20-21
Добрынин, М. А. Дистанционное обучение во Франции / М.А. Добрынин, С.Н. Сухой. - С.21-22
Иванов, В. Л. Структура электронного учебника / В.Л. Иванов. - С.23-24
Интеграция Эстонии в мировое образовательное пространство. - С.24-25
Ирвин, Дж. Хакеры используют легкие пути, чтобы получить сведения о студентах / Дж. Ирвин. - С.25-27
Кл.слова: защитные системы, беспроводные компьютеры
Карневэл, Д. Студенты из Западной Виргинии получают новые возможности обучения в режиме онлайн / Д. Карневэл. - С.27-28
Козлова, О. Информатизация образования и школьная библиотека / О. Козлова. - С.28-31
Кл.слова: медиатека
Кэррол, М. Университет Дьюка рассматривает вопрос о ведении дистанционного обучения / М. Кэррол. - С.31-33
Ле, Э. Принцип социального присутствия при общении в среде дистанционного обучения / Э. Ле. - С.33-34
Кл.слова: электронная почта, изучение, иностранный язык
Линч, Д. Преподавателям следует использовать новые технологии в учебных курсах / Д. Линч. - С.34-35
Лохор, Дж. В Нигерии разработан план подготовки педагогических кадров / Дж. Лохор. - С.35-36
Маккион, М. Программа "Кредиты через сеть" / М. Маккион. - С.36-37
Малдонадо, М. Информация о студенческих кредитах в Северо-западном университете переводится в онлайновый формат / М. Малдонадо. - С.38-39
Москалев, А. Н. Обучение по аналогии компьютерным технологиям / А.Н. Москалев, Г.А. Никулова. - С.39-41
Образцов, П. И. Дидактический комплекс информационного обеспечения учебной дисциплины в системе ДО / П.И. Образцов. - С.41-42
Оверлэнд, М. Пакистан планирует реструктуризацию высшего образования / М. Оверлэнд. - С.42-44
Павличенко, Ю. А. Автоматическое формирование индивидуального учебного курса / Ю.А. Павличенко, Н.Д. Хатьков. - С.44-45
Пардас, Э. Обучение в виртуальном университете / Э. Пардас. - С.45-47
Песоцкий, Ю. С. Высокотехнологическая образовательная среда: принципы проектирования / Ю.С. Песоцкий. - С.47-50
Рич, Э. Новые технологии помогут студентам, испытывающим трудности в учебе / Э. Рич. - С.50-52
Роуз, М. 2001 был трудным годом для компаний, выпускающих электронные книги / М. Роуз. - С.52-53
Кл.слова: электронный учебник, сокращение, спрос
Стаб, З. Израильская компания "SimiGon" подписала контракт на обучение служащих ВМС США / З. Стаб. - С.54-55
Все экземпляры списаны
Найти похожие

3.
    (Свободных экземпляров нет)
Шифр: КИО/2009/3
   Журнал

Качество. Инновации. Образование [Текст] : ежемесячный научно-практический журнал. - М. : Фонд "Европейский центр по качеству". - Выходит ежемесячно
2009г. N 3
Содержание:
Краковский, Ю. М. Прогнозирование показателей, характеризующих рынок образовательных услуг, на основе разнородной информации / Ю. М. Краковский, А. С. Яхина. - С.2-6
Лобашев, В. Д. Формирование систем профессионального обучения в условиях развития рыночной экономики / В. Д. Лобашев. - С.7-12
Григорьев, Ю. В. Выявление новых объектов интеллектуальной собственности предприятия / Ю. В. Григорьев. - С.13-19
Александров, М. Н. Управление качеством технологического процесса получения магнитных материалов / М. Н. Александров. - С.19-22
Воловикова, Е. В. Диагностика аналоговых схем с учетом тепловых режимов электрорадиоэлементов / Е. В. Воловикова, С. У. Увайсов. - С.23-28
Велигодский, С. С. Оценка уязвимости портала в условиях конфликтного взаимодействия / С. С. Велигодский, Н. Г. Милославская. - С.29-33
Маслобоев, А. В. Имитационное моделирование развития инновационных процессов на основе метода системной динамики и агентных технологий / А. В. Маслобоев. - С.34-42
Рогозин, О. В. Метод нечеткого вывода решения в задаче подбора программного обеспечения на основе качественных характеристик этого обеспечения как объекта инвестиций / О. В. Рогозин. - С.43-49
Мосенкова, Ю. Методология жизненного цикла проекта внедрения / Ю. Мосенкова. - С.50-52
Чекмарев, А. В. Автоматическое распознавание речи - проблемы применимости / А. В. Чекмарев. - С.52-57
Паршин, Б. Я. Различия ДПФ и МДКП при спектральном сжатии аудиоинформации / Б. Я. Паршин, Д. О. Жуков. - С.57-61
Черткова, Е. А. Разработка спецификации требований к компьютерным обучающим системам / Е. А. Черткова, И. В. Ретинская, К. К. Дауренбеков. - С.63-67
Сафонова, И. Е. Методы прогностической оценки основных характеристик корпоративных функционально-ориентированных компьютерных сетей / И. Е. Сафонова. - С.68-73
Все экземпляры списаны
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Найти похожие

4.
Шифр: ГиК/2017/10
   Журнал

Геодезия и картография [Текст] : официальный орган Роскартографии и геодезических служб стран СНГ. - М., 1925 - . - ISSN 0016-7126. - Выходит ежемесячно
2017г. N 10
Содержание:
Геодезия
Кравченко, Ю. А. О влиянии Луны на уклонения отвесных линий и вариации силы тяжести / Ю. А. Кравченко
Картография
Седых, С. А. Картографирование ландшафтно-экологической ситуации территории горнодобычи в пределах Патомского нагорья / С. А. Седых
Атутова, Ж. В. Историко-картографические данные как источник информации при ландшафтных исследованиях / Ж. В. Атутова
Аэрофототопография
Чекалин, В. Ф. Анализ принципов построения геометрии космических снимков и математических моделей их обработки / В. Ф. Чекалин, С. Л. Корнеев
Дистанционное зондирование Земли
Корнейчук, А. И. Территориальный план развития как виртуальная реальность / А. И. Корнейчук, В. И. Семенов
Жарова, Н. Э. Автоматическое создание цифровой модели рельефа по материалам "случайной" стереосъемки группировки космических аппаратов типа "Ресурс-П" / Н. Э. Жарова, А. В. Беленов, А. Г. Чибуничева
Проблемы, поиски, решения
Сальников, В. И. Особенности накопления сумм ошибок измерений / В. И. Сальников
Имеются экземпляры в отделах: всего 1 : Чит. зал (1)
Свободны: Чит. зал (1)

Найти похожие

 1..4