Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
композиционный
Связанные издания:
CEDISYS Compositional Distributed Systems. State of the Art, Research Goals, References
Compositional Analysis for Equational Horn Programs
Compositional Process Semantics of Petri Boxes
Compositional Style of Programming FPGAs
Compositional Verification of Secure Applet Interations
Composition Models of Databases
Formal Aspects of Component Software: Revised Selected Papers/11th International Symposium, FACS 2014, Bertinoro, Italy, September 2014
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY
On Composition of Place/Transition Nets
Вычислительная полнота композиционных моделей баз данных
Исследование и построение композиционных баз данных
Исследование и разработка программных комплексов композиционной технологии программирования
Композиционная адаптация программ
Композиционная структура программологии
Композиционная технология программирования
Композиционное построение детерминированного конечного автомата по множеству регулярных выражений
Объектно-ориентированные расширения композиционных баз данных
О реализации композиционных алгоритмов решения систем линейных уравнений
От типов данных к схемам баз данных
Принципы построения композиционных моделей баз данных