Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

Вид документа : Однотомное издание
Шифр издания : 681/Ф 94
Автор(ы) : Фу К.
Заглавие : Структурные методы в распознавании образов : Пер.с англ.
Выходные данные : М.: Мир, 1977
Колич.характеристики :320с.
Цена : 4 р.
УДК : 004.93
Предметные рубрики: Распознавание образов
Ключевые слова (''Своб.индексиров.''): формальные языки--распознавание образов--языки программирования--математическая лингвистика
Экземпляры : всего : Х(1), ВЦ(1)
Свободны : Х(1), ВЦ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 681/О-549
Автор(ы) : Оллонгрен А.
Заглавие : Определение языков программирования интерпретирующими автоматами : перевод с английского
Выходные данные : Москва: Мир, 1977
Колич.характеристики :288 с
Цена : 3.50, 3.50, 1.20, р.
УДК : 004.43
ББК : Ш112
Предметные рубрики: Программирования языки
Ключевые слова (''Своб.индексиров.''): венский метаязык--языки программирования--программирование системное--формальные языки
Экземпляры : всего : Х(1), АБН(2)
Свободны : Х(1), АБН(2)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 681/М 594
Автор(ы) : Миков, Александр Иванович
Заглавие : Информатика. Введение в компьютерные науки : учебное пособие для университетов по направлению "Прикладная математика и информатика"
Выходные данные : Пермь, 1998
Колич.характеристики :210 с.: ил.
Коллективы : Министерство общего и профессионального образования РФ, Пермский государственный университет
Примечания : Библиогр.: с. 207
ISBN, Цена 5-7944-0097-8: 30.00, 30.00, р.
ГРНТИ : 50.01.33
УДК : 004(075.8)
Предметные рубрики: Вычислительная техника
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--рекурсивные алгоритмы--сложность алгоритмов--оптимизация алгоритмов--сортировка массивов--сортировка последовательных файлов--хеширование--формальные языки
Экземпляры : всего : Х(1), АБУ(4)
Свободны : Х(1), АБУ(4)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 681/К 682
Автор(ы) : Королев, Лев Николаевич, Миков, Александр Иванович
Заглавие : Информатика. Введение в компьютерные науки : учебник для студентов высших учебных заведений
Выходные данные : Москва: Высшая школа, 2003
Колич.характеристики :341 с
Примечания : Библиогр.: с. 320-321
ISBN, Цена 5-06-004272-3: 236.00, 194.00, 270.00, 236.00, 158.10, 137.00, 204.87, 1.00, р.
ГРНТИ : 20.01.33
УДК : 004(075.8)
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): алгоритмы (теория)--рекурсивные алгоритмы--рекурсивные данные--формальные языки--архитектура компьютеров
Экземпляры : всего : АБЗ(10), АБУ(103), Х(1), ЧЗЕ(1)
Свободны : АБЗ(10), АБУ(103), Х(1), ЧЗЕ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 519/П 254
Автор(ы) : Пентус, Анна Евгеньевна, Пентус, Мати Рейнович
Заглавие : Математическая теория формальных языков : учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий: БИНОМ. Лаборатория знаний, 2006
Колич.характеристики :247 с.: ил.
Серия: Основы информатики и математики
Примечания : Библиогр.: с. 236-239
ISBN, Цена 5-94774-512-7: 234.00 р.
ISBN, Цена 5-9556-0062-0: Б.ц.
ГРНТИ : 27.47
УДК : 519.713+519.76](075.8)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--автоматов теория--формальные языки--математическая лингвистика
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(48)
Свободны : Х(1), ЧЗЕ(1), АБУ(48)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 1/Т 415
Автор(ы) : Тимофеева, Мария Кирилловна
Заглавие : Естественные и формальные языки: логико-философский анализ
Выходные данные : Новосибирск, 2003
Колич.характеристики :200 с
Примечания : Библиогр.: с. 192-198
Цена : 80 р.
ГРНТИ : 02.15.31
УДК : 165.212 + 519.76
ББК : Ю224.21
Предметные рубрики: Философия
Ключевые слова (''Своб.индексиров.''): философия и язык--формальные языки--языки естественные--языки формальные
Экземпляры : всего : Х(1), ЧЗГ(1)
Свободны : Х(1), ЧЗГ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 1/В 201
Автор(ы) : Васюков, Владимир Леонидович
Заглавие : Формальная онтология
Выходные данные : Москва: Ин-т философии РАН, 2006
Колич.характеристики :140 с
Коллективы : Российская академия наук, Институт философии
ISBN, Цена 978-5-9540-0065-8: 80 р.
ГРНТИ : 02.15.31
УДК : 111:16
ББК : Ю21:Ю4
Предметные рубрики: Онтология формальная
Ключевые слова (''Своб.индексиров.''): формальная онтология--метафизика--онтологика--формальные языки
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
8.

Вид документа : Многотомное издание
Шифр издания : 681/Б 298
Автор(ы) : Бауэр, Фридрих Л.
Заглавие : Информатика. Вводный курс = Informatik: [учебное пособие] : в 2 ч./ Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. Ч. 2
Выходные данные : Москва: Мир, 1990
Колич.характеристики :742 с
Серия:
Примечания : Библиогр.: с. 681-684. - Предм.-имен. указ.: с. 704-733
ISBN, Цена 5-03-002100-0: 2.10, 2.10, р.
ГРНТИ : 20
УДК : 004
Предметные рубрики: Информатика
Ключевые слова (''Своб.индексиров.''): формальные языки--синтаксис--история информатики--семантика--алгоритмические языки
Аннотация: Блочная структура и динамическое распределение памяти.
Экземпляры : всего : ЧЗЕ(1), АБУ(1)
Свободны : ЧЗЕ(1), АБУ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 517/И 889
Заглавие : Исследования по неклассическим логикам и теории множеств
Выходные данные : Москва: Наука, 1979
Колич.характеристики :346 с
Коллективы : Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике
Примечания : Библиогр. в конце ст.
Цена : 2.10, 2.10, р.
ГРНТИ : 27.23
УДК : 517
Предметные рубрики: Математический анализ
Ключевые слова (''Своб.индексиров.''): теория множеств--формальные языки--логика (интуиционистская)--логики (модальные)--логики (многозначные)
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 519/Л 203
Автор(ы) : Лаллеман, Жерар
Заглавие : Полугруппы и комбинаторные приложения
Выходные данные : Москва: Мир, 1985
Колич.характеристики :440 с.: ил.
Примечания : Библиогр.: с. 409-428. - Указ. обозначений: с. 429-432. - Указ. терминов: с. 433-436
Цена : 2.80, 2.80, р.
ГРНТИ : 27.43
УДК : 519
Предметные рубрики: Теория вероятностей. Математическая статистика
Ключевые слова (''Своб.индексиров.''): алгебраическая теория полугрупп--дискретная математика--автоматов теория--формальные языки
Экземпляры : всего : АБН(1), Х(1)
Свободны : АБН(1), Х(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 29.06.2024
Число запросов 25456
Число посетителей 558
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)