Bowen, Jonathan P.

概要

作品:	1 作品在 9 項出版品 1 種語言

書目資訊

The arts and computational culturereal and virtual worlds / by: Bowen, Jonathan P.; Giannini, Tula.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Provably correct systems by: Bowen, Jonathan P.; Hinchey, Mike G.; Olderog, Ernst-Rudiger.; SpringerLink (Online service) (書目-電子資源)

Formal methodsstate of the art and new directions / by: Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed.; SpringerLink (Online service) (書目-電子資源)

Museums and digital culturenew perspectives and research / by: Bowen, Jonathan P.; Giannini, Tula.; SpringerLink (Online service) (書目-電子資源)

Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers / by: (1998 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao. (書目-電子資源)

Theories of programming and formal methodsessays dedicated to Jifeng He on the occasion of his 80th birthday / by: Bowen, Jonathan P.; Li, Qin.; SpringerLink (Online service); Xu, Qiwen. (書目-電子資源)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (書目-電子資源)

主題