Languages
Raschke, Alexander.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
ABZ (Conference) (2021 :); Raschke, Alexander.; Mery, Dominique.; SpringerLink (Online service)
(Electronic resources)
Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
Raschke, Alexander.; Riccobene, Elvinia.; Schewe, Klaus-Dieter.; Borger, E. (1946-); SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Modeling companion for software practitioners
by:
Borger, Egon.; Raschke, Alexander.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.