Taha, Walid.

概要

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

書目資訊

Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers / by: CyPhy (Workshop) (2017 :); Chamberlain, Roger.; Taha, Walid.; Torngren, Martin.; SpringerLink (Online service) (書目-電子資源)

Semantics, applications, and implementation of program generation = second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / by: Taha, Walid.; SpringerLink (Online service); SAIG 2001 ((2001 :) (書目-語言資料,印刷品)

Cyber physical systems = model-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers / by: CyPhy (Workshop) (2018 :); Chamberlain, Roger.; Taha, Walid.; Torngren, Martin.; SpringerLink (Online service); Workshop on Embedded and Cyber-Physical Systems Education (2018 :) (書目-電子資源)

Cyber physical systems = model-based design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019 : revised selected papers / by: Chamberlain, Roger.; Taha, Walid.; SpringerLink (Online service); Workshop on Embedded and Cyber-Physical Systems Education (2019 :); Cyphy (Workshop) (2019 :); Edin Grimheden, Martin. (書目-電子資源)

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings / by: PADL (Symposium) (2017 :); Lierler, Yuliya.; Taha, Walid.; SpringerLink (Online service) (書目-電子資源)

Generative programming and component engineering = ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings / by: Batory, Don.; Consel, Charles.; Taha, Walid.; SpringerLink (Online service); GPCE 2002 ((2002 :) (書目-語言資料,印刷品)

Semantics, applications, and implementation of program generation = International Workshop, SAIG 2000, Montreal,Canada, September 20, 2000 : proceedings / by: Taha, Walid.; SpringerLink (Online service); SAIG 2000 ((2000 :) (書目-語言資料,印刷品)

主題