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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : З97/Ш187
Автор(ы) : Шалыто, Анатолий Абрамович
Заглавие : Switch-технология. Алгоритмизация и программирование задач логического управления
Выходные данные : СПб.: Наука, 1998
Колич.характеристики :626 с.: ил
Примечания : Библиогр.: с. 606-617. - Предм. указ.: с. 620-626
ISBN, Цена 5-02-024840-1: Б.ц.
ГРНТИ : 28.25.23 + 50.05.03
ББК : З973.2-018.23 + З815
Предметные рубрики: теория автоматов
управляющие автоматы
логические системы автоматики, программное обеспечение
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Б/А45
Автор(ы) : Аладьев, Виктор Захарович, Хунт, Ю.Я, Шишаков, М.Л
Заглавие : Математическая теория классических однородных структур
Выходные данные : Таллин и др., 1998
Колич.характеристики :299 с
Примечания : Рез. англ. - Библиогр.: с. 279-293
ISBN, Цена 9-063-56078-9: Б.ц.
ГРНТИ : 28.25 + 43.01
ББК : Б.в641 + З815в641
Предметные рубрики: Теория автоматов
Биология, естествознание, математическое моделирование
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : З 81/Т956
Автор(ы) : Тьюринг, Алан М
Заглавие : Может ли машина мыслить?
Выходные данные : Саратов: Колледж, 1999
Колич.характеристики :99 с
Примечания : С прил. ст. Дж.фон Неймана Общая и логическая теория автоматов. - Имен. указ.: с. 99
ISBN, Цена 5-900-641-84-8: Б.ц.
ГРНТИ : 28.25 + 50.07.03
ББК : З 815я43 + З 97я43
Предметные рубрики: Теория автоматов
Вычислительная техника
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : З 81/Х781
Автор(ы) : Хопкрофт, Джон Э, Мотвани, Р, Ульман, Д
Заглавие : Введение в теорию автоматов, языков и вычислений : переводное издание . -2-е изд
Выходные данные : М. и др.: Вильямс, 2002
Колич.характеристики :527 с.: ил
Серия: Теория вычислений
Перевод издания: Introduction to automata theory, languages, and Computation/ Hopcroft J.E
Примечания : Библиогр. в конце гл. - Предм. указ.: с. 523-527
ISBN, Цена 5-8459-0261-4: 210 р.
ГРНТИ : 50.05.09 + 28.25
ББК : З 815 + З 973.2-018
Предметные рубрики: Теория автоматов
Теория программирования
Языки программирования
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : З81/М294
Автор(ы) : Мартыненко, Борис Константинович
Заглавие : Языки и трансляции : учеб. пособие
Выходные данные : СПб.: Изд-во С.-Петерб. ун-та, 2004
Колич.характеристики :225, [4] с.: ил.; 26 см
Примечания : Библиогр.: с. 229
ISBN, Цена 5-288-02870-2: 166.68 р.
ГРНТИ : 27.41 + 28.25.01
УДК : 519.685.3(075.8)
ББК : З 815я73 + З 973.2-018.13я73
Предметные рубрики: Теория автоматов
Синтаксический анализ в процессе трансляции языков программирования
Ключевые слова (''Своб.индексиров.''): программирования языки - синтаксис
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr1100/Pr1100/949
Автор(ы) : Wozna, Bozena, Penczek W. , Zbrzezny A.
Заглавие : Checking reachability properties for timed automata via SAT
Выходные данные : Warszawa, 2002
Колич.характеристики :19 p.: tab.
Серия: Prace/ Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648; N 949
Примечания : Res. also Pol. - Bibliogr.: p. 17-18
Цена : 6 р.
ГРНТИ : 28.25
ББК : З 815
Предметные рубрики: Теория автоматов
Дескрипторы: сб пр--моногр
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН