Головна Серія книг

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

Очистити
Англійська
3 товари
Паперова книга «Formal Methods for Software Engineering: Languages, Methods, Application Domains», авторів Антоніо Цероне, Бернд-Хольгер Шлінглофф, Херардо Шнайдер, Маркус Роґґенбах, Сірадж Ахмед Шейх – фото №1
Паперові
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Антоніо Цероне Антоніо Цероне, Бернд-Хольгер Шлінглофф, Херардо Шнайдер, Маркус Роґґенбах, Сірадж Ахмед Шейх
3240 грн
Доставка з UK 20-30 днів
Паперова книга «Simulation Algorithms for Computational Systems Biology», авторів Коррадо Пріамі, Лука Маркетті, Во Хонг Тхань – фото №1
Паперові
Simulation Algorithms for Computational Systems Biology
Коррадо Пріамі Коррадо Пріамі, Лука Маркетті, Во Хонг Тхань
2981 грн
Доставка з UK 20-30 днів
Паперова книга «Decision Procedures: An Algorithmic Point of View», авторів Даніель Кренінг, Офер Стріхман – фото №1
Паперові
Decision Procedures: An Algorithmic Point of View
Даніель Кренінг Даніель Кренінг, Офер Стріхман
4212 грн
Немає в наявності