語系
Lluch Lafuente, Alberto.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Coordination models and languages[electronic resource] :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:
Clark Conference ((2005 :); Lluch Lafuente, Alberto.; Proenca, Jose.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Abadi, Martin.; Clark Conference ((2005 :); Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software architecture
Electronic data processing
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer security
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.