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

Базы данных

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

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

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

    Прил. к журн. "Информационные технологии". - М. : Новые технологии.
   N 8/2009 : Игры, в которые играли автоматы. Исторические очерки / В.В. Шилов. - 2009. - 32 с. - : Информационные технологии

Экземпляры всего: 1
02, вми, вр.хр. (1)
Свободны: 02, вми, вр.хр. (1)
Инвентарный номер: б/и
Найти похожие
2.
   Pr869
   Pr869/629
Pr869/629 / Pr869/629-02

   
    Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc. / Ed. by I. M. Havel, V. Koubek. - Berlin [et al.] : Springer, 1992. - IX, 521 p. : Ill. - (Lecture notes in computer science ; 629). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
конечные автоматы -- сети Петри -- алгебраические множества
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 199-10-93+02
Найти похожие
3.
   Pr869
   Pr869/630
Pr869/630 / Pr869/630-02

   
    CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc. / Ed. by W. R. Cleaveland. - Berlin [et al.] : Springer, 1992. - 580 p. : Ill. - (Lecture notes in computer science ; 630). - Bibliogr. at the end of the art.
- Auth. ind.: p. 580
Перевод заглавия: Труды 3-й международной конференции по теории параллелизма
50.07.03
ББК З 973.22-01Я431
Рубрики: Теория автоматов
   Вычислительные системы--Теория
Кл.слова (ненормированные):
семантика -- вероятностные процессы -- временная логика -- автоматы
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 199-11-93+02
Найти похожие
4.
   Pr869
   Pr869/626
Pr869/626 / Pr869/626-02

   
    Computer science logic : 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings / Ed. by E. Borger et al. - Berlin [et al.] : Springer, 1992. - VII, 428 p. : Ill. - (Lecture notes in computer science ; 626). - Bibliogr. at the end of the art
Перевод заглавия: Логика вычислительных машин и систем
50.05.09
28.25
ББК З 973.205-018.12я431 + З 815я431
Рубрики: Логическое программирование
   Теория автоматов
Кл.слова (ненормированные):
семантика -- автоматы -- сети Петри
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-15-94+02
Найти похожие
5.
   Pr869
   Pr869/415
Pr869/415 / Pr869/415-02

   
    STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc. / Ed. by C. Choffrut, T. Lengauer. - Berlin [et al.] : 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
Перевод заглавия: Труды 7-го ежегодного симпозиума по теоретическим аспектам вычислительной науки
28.25.15
50.07.03
ББК З 973.2-01в641я431 + З 813я431
Рубрики: Компьютеры--Теория
   Искусственный интеллект
Кл.слова (ненормированные):
искусственный интеллект -- конечные автоматы -- теория ЭВМ
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-30-91+02
Найти похожие
6.
   Pr869
   Pr869/452
Pr869/452 / Pr869/452-02

   
    Mathematical foundations of computer science 1990 : banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc. / Ed. by B. Rovan. - Berlin [et al.] : Springer, 1990. - VIII, 544 p. : Ill. - (Lecture notes in computer science ; 452). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01в641я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
теория сложности -- сети Петри -- систолические автоматы
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 162-16-93+02
Найти похожие
7.
   Pr869
   Pr869/710
Pr869/710 / Pr869/710-02

   
    Fundamentals of computation theory : 9th intern. conf., FCT'93, Szeged, Hungary, Aug. 23-27, 1993: Proc. / Ed.: Z. Esik. - Berlin [et al.] : Springer, 1993. - X, 471 p. : Ill. - (Lecture notes in computer science ; 710). - Bibliogr. at the end of the art
Перевод заглавия: Основы теории вычислений
50.05.03
ББК З 973.2-018я431
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
автоматы -- формальные языки -- вычислительная геометрия
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 233-13-94+02
Найти похожие
8.
   Pr869
   Pr869/N7495
Pr869/7495 / Pr869/N7495-02

   
    Cellular automata : 10th Intern. conf. on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, Sept. 24-27, 2012: Proceedings / ed.: G. Ch. Sirakoulis, S. Bandini. - 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
Перевод заглавия: Клеточные автоматы
ГРНТИ
28.25
ББК З 815я431
Рубрики: Теория автоматов

Перейти: Оглавление

Доп.точки доступа:
Sirakoulis, Georgios Ch. \ed.\; Bandini, Stefania \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 70-12-2014+02
Найти похожие
9.
   И-З 97
   B92
И-З 97 / B92-02

    Buckles, Bill P.
    Genetic algorithms / B.P. Buckles, F.E. Petry. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - 109 p. : Ill. - (IEEE Computer society press technology series). - Bibliogr.: p. 109; at the end of the art
Перевод заглавия: Генетические алгоритмы
50.33.35
ББК З 973.206я43
Рубрики: Нейронные сети вычислительные
Кл.слова (ненормированные):
клеточные автоматы -- распознавание образов
Дескрипторы: моногр


Доп.точки доступа:
Petry, Frederick E
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 71-15-94+02
Найти похожие
10.
   И-З 81
   C38
И-З 81 / C38-02

   
    Cellular automata / ed.: T. M. Li. - New York : Nova science publ., 2011. - XII,295 p. : ill. - (Mathematics research developments) (Computer science, technology and applications). - Bibliogr. at the end of the chapters. - Ind.: p. 289-295
Перевод заглавия: Ячеистые автоматы
ГРНТИ
28.25
ББК З 815
Рубрики: Теория автоматов


Доп.точки доступа:
Li, Thomas M. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 13-1-2014+02
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН