語系
Proenca, Jose.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Coordination models and languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
Lluch Lafuente, Alberto.; Proenca, Jose.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
FACS (Symposium) (2017 :); Proenca, Jose.; SpringerLink (Online service); Lumpe, Markus.
(書目-電子資源)
Formal aspects of component software = 18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
by:
FACS (Symposium) (2022 :); Tapia Tarifa, Silvia Lizeth.; Proenca, Jose.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Data Structures and Information Theory.
Natural Language Processing (NLP)
Software architecture
Logics and Meanings of Programs.
Component software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Languages.
Electronic data processing- Distributed processing
The Computing Profession.
Formal Languages and Automata Theory.
Computer Science.
Computer System Implementation.