3 Электронные книги Cesare Tinelli
Cesare Tinelli & Viorica Sofronie-Stokkermans: Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, Fro Co S 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full …
PDF
английский
DRM
€51.16
Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2 …
PDF
английский
DRM
€57.89
Carsten Lutz & Uli Sattler: Description Logic, Theory Combination, and All That
This Festschrift has been put together on the occasion of Franz Baader’s 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover …
EPUB
английский
DRM
€57.99