Як парость виноградної лози, плекайте мову 👉 UA
Главная
Серия книг
Серия книг

Серия книг – Texts in Theoretical Computer Science. An EATCS Series

3 товара
3 товара
Бумажная книга «Formal Methods for Software Engineering: Languages, Methods, Application Domains», авторов Антонио Сероне, Бернд-Хольгер Шлинглофф, Герардо Шнайдер, Маркус Роггенбах, Сирадж Ахмед Шайх – фото №1
0
0
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Антонио Сероне Антонио Сероне, Бернд-Хольгер Шлинглофф, Герардо Шнайдер, Маркус Роггенбах, Сирадж Ахмед Шайх
4380 грн
Доставка c UK 15 дней
Бумажная книга «Simulation Algorithms for Computational Systems Biology», авторов Коррадо Приами, Лука Маркетти, Во Хонг Тхань – фото №1
0
0
Simulation Algorithms for Computational Systems Biology
Коррадо Приами Коррадо Приами, Лука Маркетти, Во Хонг Тхань
Нет в наличии
Бумажная книга «Decision Procedures: An Algorithmic Point of View», авторов Дэниел Крёнинг, Офер Стрихман – фото №1
0
0
Decision Procedures: An Algorithmic Point of View
Дэниел Крёнинг Дэниел Крёнинг, Офер Стрихман
Нет в наличии