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/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/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/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) |