語系
Lluch Lafuente, Alberto.
概要
| 作品: | 1 作品在 2 項出版品 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.; Proença, José.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abadi, Martin.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Mavridou, Anastasia.; Lluch Lafuente, Alberto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Lluch Lafuente, Alberto.; Mavridou, Anastasia.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Proenca, Jose.; SpringerLink (Online service); Lluch Lafuente, Alberto.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer organization.
Computer engineering.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer networks
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Computer programming
Compilers and Interpreters.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Algorithms.
Computer Engineering and Networks.
Computer security
Artificial Intelligence.
Electronic data processing
Computer science.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software architecture
Compilers (Computer programs).
Computer software