Language: English
Help
回圖書館
Login
Languages
Jump To : Overview | Titles | Subjects

Wirsing, Martin.

Overview
Works: 1 works in 5 publications in 1 languages
Titles
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: SpringerLink (Online service); Wirsing, Martin.; Congress on Progress and Controversies in Oncological Urology (2000:); Hung, Dang Van. (Electronic resources)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers / by: Rauschmayer, Axel.; SpringerLink (Online service); Wirsing, Martin.; Congress on Progress and Controversies in Oncological Urology (2000:); Hofmann, Martin. (Electronic resources)
Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing / by: Wirsing, Martin.; SENSORIA Project.; Holzl, Matthias.; SpringerLink (Online service) (Electronic resources)
Software-intensive systems and new computing paradigms = challenges and visions / by: SpringerLink (Online service); Wirsing, Martin. (Electronic resources)
Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.; Poernomo, Iman Hafiz. (Electronic resources)
 
 
Change password
Login