Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
циклический
Связанные издания:
Analysis of a Class of Communicating Finite State Machines
An Efficient Multi-processor Architecture for Parallel Cyclic Reference Counting
Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Circuit Retiming Applied to Decomposed Software Pipelining
Computing and Combinatorics: Proc./22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2016
Performance Evaluation of Cyclic Processes in Parallel Computers
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Исследование систем циклического обслуживания с резервными приборами
Методы и средства визуализации программ в системе функционального программирования SFP
Рекуррентные соотношения и построение экономных циклических программ
Синтез циклических программ над многомерными структурами данных