З97 Ш187 Шалыто, Анатолий Абрамович. Switch-технология. Алгоритмизация и программирование задач логического управления [Текст] / А. А. Шалыто. - СПб. : Наука, 1998. - 626 с. : ил Библиогр.: с. 606-617. - Предм. указ.: с. 620-626 Рубрики: теория автоматов управляющие автоматы логические системы автоматики, программное обеспечение Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 84 С603 З 84 / С603-02 Соловьев, Валерий Васильевич. Проектирование цифровых систем на основе программируемых логических интегральных схем [Текст] / В. В. Соловьев. - М. : Горячая линия-Телеком, 2001. - 636 с. : ил. - (Современная электроника). - 1 экз. Предм. указ.: с. 625-630 Рубрики: конечные автоматы цифровые устройства, на основе программируемых интегральных схем Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 Ф887 Фрике, К. Вводный курс цифровой электроники : [учеб. пособие в обл. проектирования цифровых интегр. схем] / К. Фрике ; пер. с нем. под ред. и с доп. В. Я. Кремлева. - 2-е испр. изд. - М. : Техносфера, 2004. - 426, [2] с. : ил. ; 24 см. - (Мир электроники ; VII-01). - Библиогр.: с. 427. - 5000 экз.. -
Рубрики: Микропроцессоры Вычислительная техника Кл.слова (ненормированные): Цифровые автоматы - Логические схемы -- Микроэлектронные схемы интегральные цифровые Доп.точки доступа: Кремлев, В.Я. \пер.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 М747 Мозговой, М. В. Классика программирования: алгоритмы, языки, автоматы, компиляторы : практ. подход / М. В. Мозговой. - СПб. : Наука и техника, 2006. - 320 с. : ил. -
Рубрики: программное обеспечение--ЭВМ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81(ВМИ) Ш59 вр.хр. Шилов, В. В. Игры, в которые играли автоматы. Исторические очерки / В.В. Шилов. - М. : Новые технологии, 2009. - 32 с. - (Прил. к журн. "Информационные технологии" ; n 8/2009). - : Информационные технологии. - Экземпляры всего: 1 02, вми, вр.хр. (1) Свободны: 02, вми, вр.хр. (1) |
З 81(ВМИ) Ш59 вр.хр. Прил. к журн. "Информационные технологии". - М. : Новые технологии. N 8/2009 : Игры, в которые играли автоматы. Исторические очерки / В.В. Шилов. - 2009. - 32 с. - : Информационные технологии Экземпляры всего: 1 02, вми, вр.хр. (1) Свободны: 02, вми, вр.хр. (1) |
Pr869 Pr869/267 Pr869/267 / Pr869/267-02 Automata, languages and programming : 14th intern. colloquium Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proc. / Ed. by Thomas Ottmann. - Berlin [et al.] : Springer, 1987. - X,565 p. : Ill. - (Lecture notes in computer science ; 267). - Bibliogr. at the end of the art. Auth. ind.: p.564-565 Перевод заглавия: Автоматы, языки программирования и программирование Рубрики: Конечные автоматы Программное обеспечение--ЭВМ Кл.слова (ненормированные): конечные автоматы -- формальные языки -- теория баз данных Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/369 Pr869/369 / Pr869/369-02 Taubner, Dirk. Finite representations of CCS and TCSP programs by automata and Petri nets : сборник / D. Taubner. - Berlin [et al.] : Springer, 1989. - X,168 p. : Ill. - (Lecture notes in computer science ; 369) Bibliogr.: p. 159-164. Ind.: p.166-168 Перевод заглавия: Конечное представление программ вычисления коммуникационных систем и коммуникационных последовательных процессов с помощью теории автоматов и сетей Петри Рубрики: Теория информации Конечные автоматы Кл.слова (ненормированные): абстрактные языки программирования -- конечные автоматы -- сети Петри Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/372 Pr869/372 / Pr869/372-02 Automata, languages and programming : 16th intern. colloquium Stresa, Italy, July 11-15, 1989. Proc. / Ed. by G.Ausiello a. o. - Berlin [et al.] : Springer, 1989. - XI,788 p. : Ill. - (Lecture notes in computer science ; 372). - Bibliogr. at the end of the art Перевод заглавия: Автоматы, программирование и языки программирования Рубрики: Дискретные автоматы--Теория Программное обеспечение--ЭВМ Кл.слова (ненормированные): дискретные автоматы -- языки программирования -- семантика Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/377 Pr869/377 / Pr869/377-02 Electronic dictionaries and automata in computational linguistics [Text] : LITP Spring school on theoretical computer science Saint-Pierre d'Oleron, France, May 1987. Proc. / Ed. by M. Gross, D. Perrin. - Berlin [et al.] : Springer, 1989. - IV,110 p. : Ill. - (Lecture notes in computer science ; 377). - Bibliogr. at the end of the art Перевод заглавия: Машинные словари и автоматы в вычислительной лингвистике Рубрики: Лингвистические автоматы Вычислительная лингвистика Кл.слова (ненормированные): вычислительная лингвистика -- грамматика -- машинные словари Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/380 Pr869/380 / Pr869/380-02 Fundamentals of computation theory : intern. conf. FCT '89 Szeged, Hungary, Aug. 21-25, 1989. Proc / Ed. by J. Csirik a. o. - New York [et al.] : Springer, 1989. - XI, 493 p. : Ill. - (Lecture notes in computer science ; 380). - Bibliogr. at the end of the art Перевод заглавия: Основы теории вычислений Рубрики: Абстрактные автоматы Программное обеспечение--ЭВМ Кл.слова (ненормированные): автоматы -- логика программы -- формальные языки -- алгоритмы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/386 Pr869/386 / Pr869/386-02 Formal properties of finite automata and applications : LITP Spring school on theoretical computer science Ramatuelle, France, May 23-27, 1988. Proc. / Ed. by J. E. Pin. - Berlin [et al.] : Springer, 1989. - VIII,259 p. : Ill. - (Lecture notes in computer science ; 386). - Bibliogr. at the end of the art. Auth. ind. at the end of the books Перевод заглавия: Формальные свойства конечных автоматов и их применения Рубрики: Конечные автоматы Системы для распознавания образов на основе ЭВМ Кл.слова (ненормированные): конечные автоматы -- распознавание образов -- программирование Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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-го ежегодного симпозиума по теоретическим аспектам вычислительной науки Рубрики: Компьютеры--Теория Искусственный интеллект Кл.слова (ненормированные): искусственный интеллект -- конечные автоматы -- теория ЭВМ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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 Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): теория сложности -- сети Петри -- систолические автоматы Дескрипторы: сб пр -- конф.м Экземпляры всего: 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/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 Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): конечные автоматы -- сети Петри -- алгебраические множества Дескрипторы: сб пр -- конф Экземпляры всего: 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) |
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 Перевод заглавия: Основы теории вычислений Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): автоматы -- формальные языки -- вычислительная геометрия Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/779 Pr869/778 / Pr869/779-02 Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc. / Eds.: M. Bonuccelli et al. - Berlin [et al.] : Springer, 1994. - VI, 222 p. : Ill. - (Lecture notes in computer science ; 778). - Bibliogr. at the end of the art Перевод заглавия: Алгоритмы и сложность Рубрики: Компьютеры--Программное обеспечение Кл.слова (ненормированные): конечные автоматы -- теория графов Дескрипторы: сб пр -- конф.м Экземпляры всего: 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) |