З97 Ш187 Шалыто, Анатолий Абрамович. Switch-технология. Алгоритмизация и программирование задач логического управления [Текст] / А. А. Шалыто. - СПб. : Наука, 1998. - 626 с. : ил Библиогр.: с. 606-617. - Предм. указ.: с. 620-626 Рубрики: теория автоматов управляющие автоматы логические системы автоматики, программное обеспечение Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Б А45 Аладьев, Виктор Захарович. Математическая теория классических однородных структур [Текст] / В.З. Аладьев; Под общ. ред. Урсула А.Д.; Tallinn research group, Рос. акад. ноосферы. Белорус. гос. ун-т трансп. - Таллин и др. : [б. и.], 1998. - 299 с. Рез. англ. - Библиогр.: с. 279-293 Рубрики: Теория автоматов Биология, естествознание, математическое моделирование Дескрипторы: моногр Доп.точки доступа: Хунт, Ю.Я; Шишаков, М.Л Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81 Т956 Тьюринг, Алан М . Может ли машина мыслить? [Текст] / А.М. Тьюринг; Пер. с англ. Данилова Ю.А. - Саратов : Колледж, 1999. - 99 с. С прил. ст. Дж.фон Неймана Общая и логическая теория автоматов. - Имен. указ.: с. 99 Рубрики: Теория автоматов Вычислительная техника Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81 Х781 Хопкрофт, Джон Э. Введение в теорию автоматов, языков и вычислений [Текст] : переводное издание / Д.Э. Хопкрофт; [Пер. с англ. Васылык О.И. и др.]. - 2-е изд. - М. и др. : Вильямс, 2002. - 527 с. : ил. - (Теория вычислений). - Пер. изд. : Introduction to automata theory, languages, and Computation/ Hopcroft J.E Библиогр. в конце гл. - Предм. указ.: с. 523-527 Рубрики: Теория автоматов Теория программирования Языки программирования Дескрипторы: моногр Доп.точки доступа: Мотвани, Р; Ульман, Д Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З81 М294 Мартыненко, Борис Константинович. Языки и трансляции [Текст] : учеб. пособие / Б. К. Мартыненко ; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. ун-та, 2004. - 225, [4] с. : ил. ; 26 см. - Библиогр.: с. 229. -
Рубрики: Теория автоматов Синтаксический анализ в процессе трансляции языков программирования Кл.слова (ненормированные): Программирования языки - Синтаксис Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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 Перевод заглавия: Логика вычислительных машин и систем Рубрики: Логическое программирование Теория автоматов Кл.слова (ненормированные): семантика -- автоматы -- сети Петри Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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-й международной конференции по теории параллелизма Рубрики: Теория автоматов Вычислительные системы--Теория Кл.слова (ненормированные): семантика -- вероятностные процессы -- временная логика -- автоматы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 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 Перевод заглавия: Ячеистые автоматы
Рубрики: Теория автоматов Доп.точки доступа: Li, Thomas M. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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 Перевод заглавия: Клеточные автоматы
Рубрики: Теория автоматов Перейти: Оглавление Доп.точки доступа: Sirakoulis, Georgios Ch. \ed.\; Bandini, Stefania \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1100 Pr1100/949 Pr1100/949 / Pr1100/949-02 ВМИ Wozna, Bozena. Checking reachability properties for timed automata via SAT / B. Wozna, W. Penczek, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 19 p. : tab. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 949). - Res. also Pol. - Bibliogr.: p. 17-18 Перевод заглавия: Проверка доступности для временных автоматов через SAT Рубрики: Теория автоматов Дескрипторы: сб пр -- моногр Доп.точки доступа: Penczek, W. ; Zbrzezny, A. Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |