Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=автоматы<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/779
Заглавие : Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc.
Выходные данные : Berlin: Springer, 1994
Колич.характеристики :VI, 222 p.: Ill.
Серия: Lecture notes in computer science; 778
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-57811-0: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Программное обеспечение
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): конечные автоматы--теория графов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/267
Заглавие : Automata, languages and programming : 14th intern. colloquium Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proc.
Выходные данные : Berlin: Springer, 1987
Колич.характеристики :X,565 p.: Ill.
Серия: Lecture notes in computer science; 267
Примечания : Bibliogr. at the end of the art. - Auth. ind.: p.564-565
ISBN, Цена 3-540-18088-5:
ГРНТИ : 50.05 + 28.25
ББК : З 815я431 + З 973.2-018я431
Предметные рубрики: Конечные автоматы
Программное обеспечение-- ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): конечные автоматы--формальные языки--теория баз данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/372
Заглавие : Automata, languages and programming : 16th intern. colloquium Stresa, Italy, July 11-15, 1989. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :XI,788 p.: Ill.
Серия: Lecture notes in computer science; 372
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51371-X:
ГРНТИ : 50.05 + 28.25
ББК : З 815я431 + З 973.2-018я431
Предметные рубрики: Дискретные автоматы-- Теория
Программное обеспечение-- ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): дискретные автоматы--языки программирования--семантика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : И-З 97/B92
Автор(ы) : Buckles, Bill P, Petry, Frederick E
Заглавие : Genetic algorithms
Выходные данные : Los Alamitos: IEEE Computer society press, 1992
Колич.характеристики :109 p.: Ill.
Серия: IEEE Computer society press technology series
Примечания : Bibliogr.: p. 109; at the end of the art
ISBN, Цена 0-8186-2935-5: Б.ц.
ГРНТИ : 50.33.35
ББК : З 973.206я43
Предметные рубрики: Нейронные сети вычислительные
Дескрипторы: моногр
Ключевые слова (''Своб.индексиров.''): клеточные автоматы--распознавание образов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : И-З 81/C38
Заглавие : Cellular automata
Выходные данные : New York: Nova science publ., 2011
Колич.характеристики :XII,295 p.: ill.
Серия: Mathematics research developments .
    Computer science, technology and applications
Примечания : Bibliogr. at the end of the chaptersInd.: p. 289-295
ISBN, Цена 978-1-61761-592-4: 280 р.
ГРНТИ : 28.25
ББК : З 815
Предметные рубрики: Теория автоматов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/N7495
Заглавие : Cellular automata : 10th Intern. conf. on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, Sept. 24-27, 2012: Proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2012
Колич.характеристики :XVIII,859 p.: ill.
Серия: Lecture notes in computer science, ISSN 0302-9743; 7495
Примечания : Bibliogr. at the end of the art.Auth. ind.: p. 857-859
ISBN, Цена 978-3-642-33349-1: 540 р.
ГРНТИ : 28.25
ББК : З 815я431
Предметные рубрики: Теория автоматов
Экземпляры :02(1)
Свободны : 02(1)
Перейти: Оглавление
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/626
Заглавие : Computer science logic : 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :VII, 428 p.: Ill.
Серия: Lecture notes in computer science; 626
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55789-X: Б.ц.
ГРНТИ : 50.05.09 + 28.25
ББК : З 973.205-018.12я431 + З 815я431
Предметные рубрики: Логическое программирование
Теория автоматов
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): семантика--автоматы--сети петри
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/630
Заглавие : CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc.
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :580 p.: Ill.
Серия: Lecture notes in computer science; 630
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 580
ISBN, Цена 3-540-55822-5: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.22-01Я431
Предметные рубрики: Теория автоматов
Вычислительные системы-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): семантика--вероятностные процессы--временная логика--автоматы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/377
Заглавие : Electronic dictionaries and automata in computational linguistics : LITP Spring school on theoretical computer science Saint-Pierre d'Oleron, France, May 1987. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :IV,110 p.: Ill.
Серия: Lecture notes in computer science; 377
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51465-1:
ГРНТИ : 50.05.09 + 28.25 + 16.31.02
ББК : З 973.205-018я431 + Ш112я431
Предметные рубрики: Лингвистические автоматы
Вычислительная лингвистика
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): вычислительная лингвистика--грамматика--машинные словари
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/386
Заглавие : Formal properties of finite automata and applications : LITP Spring school on theoretical computer science Ramatuelle, France, May 23-27, 1988. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VIII,259 p.: Ill.
Серия: Lecture notes in computer science; 386
Примечания : Bibliogr. at the end of the art. - Auth. ind. at the end of the books
ISBN, Цена 3-540-51631-X:
ГРНТИ : 28.25 + 50.33.33
ББК : З 815я431 + З 973.235-01я431
Предметные рубрики: Конечные автоматы
Системы для распознавания образов на основе ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): конечные автоматы--распознавание образов--программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН