Provably Correct Systems. 1st ed. 2017

Bỡi Hinchey, Mike, Bowen, Jonathan P., Olderog, Ernst-Rüdiger
Được phát hành 2020

Biologically-Inspired Collaborative Computing

Bỡi Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut
Được phát hành 2020

SOFSEM 2017: Theory and Practice of Computer Science

Bỡi Steffen, Bernhard, Baier, Christel, Brand, Mark van den, Eder, Johann, Hinchey, Mike, Margaria, Tiziana
Được phát hành 2020