Вы здесь

Kotov V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ R2: A Damped Adaptive Router Design 1994 Davis A., Hodgson R., Robinson I., Cherkasova L., Kotov V., Rokicki T. Lecture Notes in Computer Science 10.12.1994
СТ On Net Modeling of Industrial Size Concurrent Systems 1993 Cherkasova L., Kotov V. Lecture Notes in Computer Science 24.08.1993
СТ On Properties of Nets for Modelling of Systems and Generalized Processes 1985 Cherkasova L., Kotov V. Annales Univ. Sci. Budapestinensis. Sectio Combinatorica 16.06.1992
П Techniques and Metodology for Concurrent System Modelling Based on Net Theory 1992 Kotov V., Cherkasova L. Hewlett-Packard Управляю ие системы и машины 16.06.1992
СТ An algebra of concurrent nondeterministic processes 1991 Cherkasova L., Kotov V. Theoretical Computer Science 25.12.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Images of Programming: Dedicated to the Memory of A.P. Ershov 1991
  1. Bjorner D.
  2. Kotov V.
06.02.1992