語系
Raschke, Alexander.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
Raschke, Alexander.; Mery, Dominique.; SpringerLink (Online service); ABZ (Conference) (2021 :)
(書目-電子資源)
Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
Raschke, Alexander.; SpringerLink (Online service); Borger, E. (1946-); Schewe, Klaus-Dieter.; Riccobene, Elvinia.
(書目-電子資源)
Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
ABZ (Conference) (2020 :); Raschke, Alexander.; Mery, Dominique.; Houdek, Frank.; SpringerLink (Online service)
(書目-電子資源)
Modeling companion for software practitioners
by:
Borger, Egon.; Raschke, Alexander.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer software- Mathematical models.
Software Engineering.
Mathematical Logic and Formal Languages.
Business Process Management.
Computer logic.
Theory of Computation.
Mathematical Logic and Foundations.
Machine theory
Logic in AI.
Programming Language.
Information Systems Applications (incl. Internet)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Software engineering.
Machine learning
Artificial Intelligence.
Business Information Systems.
Computer Science.
Computer Systems Organization and Communication Networks.
Computer science.