語系
Wotawa, Franz.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Advances and trends in artificial intelligence = from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings /
by:
Wotawa, Franz.; Friedrich, Gerhard.; SpringerLink (Online service); International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (2019 :); Pill, Ingo.; Koitz-Hristov, Roxane.; Ali, Moonis.
(書目-電子資源)
Tests and proofs = 15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings /
by:
Wotawa, Franz.; SpringerLink (Online service); TAP (Conference) (2021 :); Loulergue, Frederic.; STAF (Federation of conferences) ((2021 :)
(書目-電子資源)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
ICTSS (Conference) (2016 :); Wotawa, Franz.; Nica, Mihai.; Kushik, Natalia.; SpringerLink (Online service)
(書目-電子資源)
KI 2016 = advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016 : proceedings /
by:
German Conference on Artificial Intelligence (2016 :); Friedrich, Gerhard.; Helmert, Malte.; Wotawa, Franz.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
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 software- Testing
Artificial Intelligence.
Security.
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Computer software- Verification