Software Technology: 10 Years of Innovation in IEEE Computer

Bỡi Hinchey
Được phát hành 2020

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

Formal Methods and Software Engineering

Bỡi Butler, Michael, Hinchey, Michael G., Larrondo-Petrie, Maria M.
Đượ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