語系
Taha, Walid.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Practical aspects of declarative languages19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings /
by:
(1998 :); Lierler, Yuliya.; SpringerLink (Online service); Taha, Walid.
(書目-電子資源)
Semantics, applications, and implementation of program generationInternational Workshop, SAIG 2000, Montreal,Canada, September 20, 2000 : proceedings /
by:
(1998 :); SpringerLink (Online service); Taha, Walid.
(書目-電子資源)
Cyber physical systemsmodel-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers /
by:
(1998 :); Chamberlain, Roger.; SpringerLink (Online service); Taha, Walid.; Torngren, Martin.
(書目-電子資源)
Generative programming and component engineeringACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings /
by:
(1998 :); Batory, Don.; Consel, Charles.; SpringerLink (Online service); Taha, Walid.
(書目-電子資源)
Cyber physical systemsmodel-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:
(1998 :); Chamberlain, Roger.; Edin Grimheden, Martin.; SpringerLink (Online service); Taha, Walid.
(書目-電子資源)
Cyber physical systemsdesign, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
(1998 :); Chamberlain, Roger.; SpringerLink (Online service); Taha, Walid.; Torngren, Martin.
(書目-電子資源)
Semantics, applications, and implementation of program generationsecond international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings /
by:
(1998 :); SpringerLink (Online service); Taha, Walid.
(書目-電子資源)
主題
Software engineering
Declarative programming
Software Engineering.
Component software
Logics and Meanings of Programs.
Automatic control
Sensor networks
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer systems
Cybernetics
Information Systems Applications (incl. Internet)
Computing Milieux.
Control Structures and Microprogramming.
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)