Wirsing, Martin.

概要

作品:	2 作品在 3 項出版品 1 種語言

書目資訊

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: Crossley, John Newsome.; Wirsing, Martin.; SpringerLink (Online service); Poernomo, Iman Hafiz. (書目-語言資料,印刷品)

Software engineering for collective autonomic systems = The ASCENS Approach / by: Wirsing, Martin.; SpringerLink (Online service) (書目-電子資源)

Knowledge science, engineering and management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings / by: Wirsing, Martin.; SpringerLink (Online service); Zhang, Zili.; Zhang, Songmao. (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: Hung, Dang Van.; Wirsing, Martin.; SpringerLink (Online service); ICTAC 2005 ((2005 :) (書目-語言資料,印刷品)

Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers / by: Hofmann, Martin.; Rauschmayer, Axel.; Wirsing, Martin.; SpringerLink (Online service) (書目-語言資料,印刷品)

Software-intensive systems and new computing paradigms = challenges and visions / by: Wirsing, Martin.; SpringerLink (Online service) (書目-電子資源)

主題