語系
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:
Chamberlain, Roger.; Taha, Walid.; Torngren, Martin.; SpringerLink (Online service); CyPhy (Workshop) (2018 :); 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 :)
(書目-語言資料,印刷品)
主題
Declarative programming
Software Engineering.
Component software
Logics and Meanings of Programs.
Automatic control
Sensor networks
Software Engineering/Programming and Operating Systems.
Software engineering- Congresses.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Cybernetics
Computer systems- Verification
Information Systems Applications (incl. Internet)
Computing Milieux.
Control Structures and Microprogramming.
Automatic control- Computer programs
Computer programming
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Computer Appl. in Administrative Data Processing.
Special Purpose and Application-Based Systems.
Systems software
Computer Science.
Computer Hardware.
Computer System Implementation.
Simulation and Modeling.
Generative programming (Computer science)
Cooperating objects (Computer systems)