Jongmans, Sung-Shik.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
FACS (Symposium) (2019 :); Arbab, Farhad.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
COORDINATION (Conference) (2023 :); Jongmans, Sung-Shik.; Lopes, Antonia.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of component software = 19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers /
by:
FACS (Symposium) (2023 :); Cmara, Javier.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Data Structures and Information Theory.
Component software
Information Systems and Communication Service.
Formal methods (Computer science)
Computer programming
Languages.
Electronic data processing- Distributed processing
Formal Languages and Automata Theory.
Computer System Implementation.