Ábrahám, Erika.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Ábrahám, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
Ábrahám, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
Ábrahám, Erika.; SpringerLink (Online service); Paolieri, Marco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer engineering.
Computer science—Mathematics.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer Engineering and Networks.
Computer simulation.
Artificial Intelligence.
Computer science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.