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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/629
Заглавие : Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc.
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :IX, 521 p.: Ill.
Серия: Lecture notes in computer science; 629
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55808-X: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): конечные автоматы--сети петри--алгебраические множества
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/415
Заглавие : STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI, 312 p.: Ill.
Серия: Lecture notes in computer science; 415
Примечания : Bibliogr. at the end of the art. - - Ind. of auth. at the end of the book
ISBN, Цена 3-540-52282-4:
ГРНТИ : 28.25.15 + 50.07.03
ББК : З 973.2-01в641я431 + З 813я431
Предметные рубрики: Компьютеры-- Теория
Искусственный интеллект
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--конечные автоматы--теория эвм
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/452
Заглавие : Mathematical foundations of computer science 1990 : Banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VIII, 544 p.: Ill.
Серия: Lecture notes in computer science; 452
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52953-5: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01в641я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): теория сложности--сети петри--систолические автоматы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/710
Заглавие : Fundamentals of computation theory : 9th intern. conf., FCT'93, Szeged, Hungary, Aug. 23-27, 1993: Proc.
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :X, 471 p.: Ill.
Серия: Lecture notes in computer science; 710
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-57163-9: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): автоматы--формальные языки--вычислительная геометрия
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : И-З 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)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Пр50/Пр50/231
Заглавие : Динамические системы, автоматы и бесконечные группы : сб. ст.
Выходные данные : Москва: Наука-Интерпериодика, 2000
Колич.характеристики :367 с.: ил.
Серия: Труды Математического института им. В. А. Стеклова/ Математический ин-т им. В.А. Стеклова (Москва)., ISSN 0371-9685; т. 231
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-02-002503-8: Б.ц.
ISBN, Цена 5-7846-0085-0: Б.ц.
ГРНТИ : 27.17 + 27.39 + 28.25
ББК : В162.7я43 + В152.3я43 + З 815в641я43
Предметные рубрики: Динамические системы-- В функциональном анализе
Эргодическая теория
Бесконечные группы
Теория автоматов-- Математические методы
Дескрипторы: сб пр--сб
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 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)
Перейти: Оглавление
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН