語系
Raschke, Alexander.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings /
by:
Méry, Dominique.; SpringerLink (Online service); Houdek, Frank.; Raschke, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Modeling Companion for Software Practitioners
by:
SpringerLink (Online service); Börger, Egon.; Raschke, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
Méry, Dominique.; SpringerLink (Online service); Raschke, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
Schewe, Klaus-Dieter.; Riccobene, Elvinia.; SpringerLink (Online service); Raschke, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Modeling companion for software practitioners
by:
Raschke, Alexander.; Borger, Egon.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
Raschke, Alexander.; Riccobene, Elvinia.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
Raschke, Alexander.; Butler, Michael.; Hoang, Thai Son.; Reichl, Klaus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
SpringerLink (Online service); Méry, Dominique.; Raschke, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Industrial management.
Computer organization.
Computer engineering.
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Business Process Management.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.
Machine theory.
Business Information Systems.
Computers.
Programming Languages, Compilers, Interpreters.
Compilers (Computer programs).
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer software.
Computer networks .
Formal Languages and Automata Theory.
Logic in AI.
Programming Language.
Information Systems Applications (incl. Internet).
Business information services.
Computer Science.
Microprogramming .
Compilers and Interpreters.
Computer Engineering and Networks.
Logic programming.
Professional Computing.
Control Structures and Microprogramming.
Computer science.
Management information systems.
Programming languages (Electronic computers).
Computer software