519/К265     Карпов, Юрий Глебович.     Теория автоматов [Текст] : учеб.для вузов / Ю.Г. Карпов. - СПб. : Питер, 2003. - 206 с. : ил. - (Учеб.для вузов). - Библиогр.: с.204-206 (39 назв.) . - ISBN 5-318-00537-3 : 750 тг. ГРНТИ 27.47 УДК 519.713(075.8) Рубрики: Теория автоматов--учебники Кл.слова (ненормированные): Булевы функции -- Теорема Поста -- Математическая логика -- Автоматные языки -- Машины Тьюринга Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1)

519/К889     Кудрявцев, В. Б.     Введение в теорию абстрактных автоматов [Текст] : учеб.пособие для вузов / В.Б. Кудрявцев, А.С. Подколзин, Ш. Ушчумлич. - М. : Изд-во МГУ, 1985. - 173 с. : ил. - Библиогр.: с.173 (24 назв.) . - Б. ц. ГРНТИ 27.01.33 УДК 519.713(075.8) Рубрики: Автоматов теория Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Подколзин, А.С.; Ушчумлич, Ш. Экземпляры всего: 2 ХР (2) Свободны: ХР (2)

519.7/К889     Кудрявцев, В. Б.     Введение в теорию абстрактных автоматов [Текст] : учеб. пособие для ун-тов по спец. "Математика" / В.Б. Кудрявцев, А.С. Подколзин, Ш. Ушчумлин. - М. : Изд-во МГУ, 1985. - 173 с. : ил. - Библиогр.: с.172(24 назв.). - 0.40 р. ГРНТИ 28.25 УДК 519.713(075.8) Рубрики: Автоматов теория--учебники Держатели документа: Карагандинский филиал РНТБ Казахстана Доп.точки доступа: Подколзин, А.С.; Ушчумлин, Ш. Экземпляры всего: 2 08-ХР (2) Свободны: 08-ХР (2)

519/А14    А 15     Абиев, Н. А.     Тілдер және автоматтар теориясының негіздері [Текст] : оқу құралы / Н. А. Абиев ; ҚР білім және ғылым м-гі. М.Х.Дулати атын.Тараз мем.ун-ті. - Тараз : Тараз ун-ті, 2010. - 183 б. : ил. - Библиогр.: с.181 (19 атау) . - ISBN 99965-724-39-3 : 100 тг. ГРНТИ 28.25 УДК 519.713(075.8) Рубрики: Основы теории автоматов Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: ҚР білім және ғылым м-гі. М.Х.Дулати атын.Тараз мем.ун-ті Экземпляры всего: 1 ХР (1) Свободны: ХР (1)

51/П 179     Папуш, П. Н.     Приложения математической логики и теории конечных автоматов в инженерных задачах [Текст] : учеб.пособие / П. Н. Папуш, Б. В. Мартынов ; Моск. автомоб.дор. ин-т. - М. : МАДИ, 1979. - 62 с. : ил. - Библиогр.: с.61 (11 назв.). - Б. ц. ГРНТИ 27.03.19 УДК 510.6(075.8) 519.713(075.8) Рубрики: Математическая логика    Автоматов теория Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Мартынов, Б.В.; Моск. автомоб.дор. ин-т Экземпляры всего: 1 ХР (1) Свободны: ХР (1)

519    К 26     Карпов, Ю. Г.     Теория автоматов [Текст] : учебник для вузов / Карпов. - СПб. : Питер, 2003. - 224 с. - ISBN 5-318-00537-3 : 921.74 тг. ГРНТИ 28.17.15 УДК 519.713(075.8) Рубрики: Теория автоматов Держатели документа: Южно-Казахстанский филиал РНТБ Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1)

519/А 14     Абиев, Нұрлан Абиұлы.     Тілдер және автоматтар теориясының негіздері [Текст] : оқу құралы / Н. А. Абиев. - Астана : Фолиант, 2013. - 191 б. : ил. - (Жоғары білім). - Библиогр.: с.190-191 (22 атау) . - ISBN 978-601-292-732-0 : 1615 тг. ГРНТИ 28.25 УДК 519.713(075.8) Рубрики: Основы теории автоматов Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ХР (1) Свободны: ХР (1)