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

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

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