bukvolub.ru
Выбрать книгу
По названию
По автору
По возрасту
По категории
По издательству
По серии
По году издания
По типу
Георг Шустер
История тайных обществ, союзов и орденов
В. П. Бурдаков
Термодинамика. Основной курс. Часть 1
В. П. Бурдаков
Термодинамика. Специальный курс. Часть 2
Н. Е. Ерофеева
Зарубежная литература. XVII век. Учебник
Онлайн книги
Все авторы
Все книги автора Jean-Louis Boulanger
Все книги автора Jean-Louis Boulanger
Компьютеры/Программирование
0+ Formal Methods Applied to Industrial Complex Systems
0+ Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
0+ Safety of Computer Architectures
0+ Static Analysis of Software. The Abstract Interpretation
Наука, Образование/Техническая литература
0+ CENELEC 50128 and IEC 62279 Standards
0+ Formal Methods. Industrial Use from Model to the Code
0+ Industrial Use of Formal Methods. Formal Verification
0+ Safety Management of Software-based Equipment
