語系
Wotawa, Franz.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
KI 2016 = advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016 : proceedings /
by:
Wotawa, Franz.; SpringerLink (Online service); Friedrich, Gerhard.; Helmert, Malte.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings /
by:
SpringerLink (Online service); Wotawa, Franz.; Friedrich, Gerhard.; Helmert, Malte.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
Loulergue, Frédéric.; SpringerLink (Online service); Wotawa, Franz.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Friedrich, Gerhard.; SpringerLink (Online service); Wotawa, Franz.; Koitz-Hristov, Roxane.; Pill, Ingo.; Ali, Moonis.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ali, Moonis.; Pill, Ingo.; Koitz-Hristov, Roxane.; Friedrich, Gerhard.; Wotawa, Franz.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
Nica, Mihai.; SpringerLink (Online service); Wotawa, Franz.; Kushik, Natalia.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings /
by:
Loulergue, Frédéric.; Wotawa, Franz.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
by:
Kushik, Natalia.; Wotawa, Franz.; Nica, Mihai.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer organization.
Computer science—Mathematics.
Artificial intelligence.
Data protection.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Application software.
User interfaces (Computer systems).
Artificial Intelligence.
Information storage and retrieval.
Information Storage and Retrieval.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Computer Science.
Computer simulation.
Special purpose computers.
Management of Computing and Information Systems.
Computer communication systems.
Security.
Information Systems and Communication Service.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer science.
Management information systems.
User Interfaces and Human Computer Interaction.
Programming languages (Electronic computers).
Computer software