語系
International Conference on Software Engineering and Formal Methods (2019 :)
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Olveczky, Peter Csaba.; Salaun, Gwen.; SpringerLink (Online service)
(書目-電子資源)
Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Camara, Javier.; Steffen, Martin.; SpringerLink (Online service); CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :); CIFMA (Workshop) ((2019 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Natural Language Processing (NLP)
Logic in AI.
Control Structures and Microprogramming.
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
System Performance and Evaluation.
Simulation and Modeling.
Computer System Implementation.