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/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/694 Pr869/694 / Pr869/694-02 PARLE' 93. Parallel architectures and languages Europe : 5th intern. PARLE conf. Munich, June 14-17, 1993. Proceedings / A. Bode et al. (Eds.). - Berlin [et al.] : Springer, 1993. - XVII,770 p. : Ill. - (Lecture notes in computer science ; 694). - Bibliogr. at the end of the art. - Auth. ind.: p. 769-770 Перевод заглавия: Параллельные архитектуры и языки программирования Рубрики: Параллельные компьютеры--Программное обеспечение Кл.слова (ненормированные): функциональное программирование -- сети Петри -- семантика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 96 D46 И-З 96 / D46-02 Desrochers, Alan A. Modeling and control of automated manufacturing systems : сборник / A.A. Desrochers. - Washington [et al.] : IEEE Computer society press, 1990. - VIII, 373 p. : Ill. - Bibliogr. at the end of the chapters - Auth. ind.: p. 373 Перевод заглавия: Моделирование автоматизированных производственных систем и управление ими. Сборник перепечаток статей из спецжурналов и докладов из трудов конференций Содержание: Рубрики: Гибкие автоматизированные производства--Теория Кл.слова (ненормированные): сети Петри -- автоматизация производства Дескрипторы: сб Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 96 I.69 И-З 96 / I.69-02 International conference on computer integrated manufacturing (3 ; 1992 ; Troy, USA). Proceedings of the third international conference on computer integrated manufacturing : rensselaer polytechnic inst. Troy, New York, May 20-22, 1992. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XI,510 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 509-510 Перевод заглавия: Труды 3-й международной конференции по интегральным системам автоматизированного производства Рубрики: Гибкие автоматизированные производства Кл.слова (ненормированные): сети Петри -- робототехника -- информационные системы Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |