言語
Wotawa, Franz.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Kushik, Natalia.; Nica, Mihai.; SpringerLink (Online service); Wotawa, Franz.
(コンピュータ・メディア)
KI 2016[electronic resource] :advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Friedrich, Gerhard.; Helmert, Malte.; SpringerLink (Online service); Wotawa, Franz.
(コンピュータ・メディア)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computer software
Management of Computing and Information Systems.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science.
Simulation and Modeling.
Computer Communication Networks.